Call For Participation: RelMiCS/AKA 2008

By request of the conference organizations, this notification is being
distributed here.

Call for Participation:
Relations and Kleene Algebra in Computer Science

10th International Conference on Relational Methods in Computer
Science (RelMiCS10)

in conjunction with

5th International Conference on Applications of Kleene Algebra (AKA5)

7-11 April 2008, Frauenwörth (near Munich), Germany
http://www.uni-augsburg.de/rel_aka

The RelMiCS Conference is the main forum for the relational calculus
as a conceptual and methodological tool. The AKA Conference is a
meeting on topics related to Kleene algebras. As in previous years,
the two events are co-organised; they have a joint programme committee
and joint proceedings.

Registration deadline: 15 March 2006

Programme:
The conference features 2 invited talks and 26 contributed papers. In
addition, there is a PhD programme with 3 invited tutorial and 8
contributed talks; participation is open for everyone.

Invited Talks:
Marc Pauly (Standford)
Formal Methods and the Theory of Social Choice

Gunther Schmidt (Munich)
Relations Making Their Way From Logics to Mathematics and Applied
Sciences

The full programme as well as registration details are available at
the conference website. For further inquiries please contact the local
organisers under

rel_aka08@xxxxxxxxxxxxxxxxxxxxxxxxxxx

Sponsors:
* ARIVA.DE AG (Kiel)
* CrossSoft (Kiel)
* Deutsche Forschungsgemeinschaft DFG
* HSH Nordbank AG (Kiel)

Committees:
General Chair:
* Rudolf Berghammer, Kiel, Germany
* Bernhard Moeller, Augsburg, Germany

Local Organisation:
* Bernhard Moeller, Augsburg, Germany
* Roland Glueck, Augsburg, Germany
* Peter Hoefner, Augsburg, Germany
* Iris Kellner, Augsburg, Germany
* Ulrike Pollakowski, Kiel, Germany

Programme Committee:
* Rudolf Berghammer, Kiel, Germany
* Harrie de Swart, Tilburg, The Netherlands
* Jules Desharnais, Laval, Canada
* Marcelo Frias, Buenos Aires, Argentina
* Hitoshi Furusawa, Kagoshima, Japan
* Peter Jipsen, Chapman, USA
* Wolfram Kahl, McMaster, Canada
* Yasuo Kawahara, Kyushu, Japan
* Bernhard Moeller, Augsburg, Germany
* Carroll Morgan New South Wales, Australia
* Manuel Ojeda Aciego, Málaga, Spain
* Ewa Orlowska, Warsaw, Poland
* Susanne Saminger, Linz, Austria
* Gunther Schmidt, Munich, Germany
* Renate Schmidt, Manchester, UK
* Giuseppe Scollo, Catania, Italy
* Georg Struth, Sheffield, UK
* Andrzej Szalas, Linköping, Sweden
* Johan van Benthem, Amsterdam, The Netherlands
* Michael Winter, Brock U., Canada
.

Relevant Pages