[FOM] Workshop in Greifswald 2010

Arnold Beckmann A.Beckmann at swansea.ac.uk
Thu Apr 16 03:32:44 EDT 2009


Logical Approaches to Barriers in Computing and Complexity.
February 17-20, 2010, Greifswald, Germany.

The "Deutsche Vereinigung fuer Mathematische Logik und fuer Grundlagen 
der Exakten Wissenschaften" (DVMLG), the "Polskie Towarzystwo Logiki 
i Filozofii Nauki" (PTLiFN), the "Association Computability in Europe"
(ACiE) and the "European Association for Computer Science Logic" 
(EACSL) jointly organize this workshop.  The workshop is sponsored by 
the Stiftung Alfried Krupp Kolleg Greifswald, and takes place at the 
Alfried Krupp Wissenschaftskolleg in Greifswald, Germany.

Keynote speakers are Alessandra Carbone (Paris, France), Lance Fortnow 
(Evanston, IL, U.S.A.), Erich Graedel (Aachen, Germany), Pascal Koiran 
(Lyon, France), Leszek Kolodziejczyk (Warsaw, Poland), and Antonina 
Kolokolova (St.John's, NL, Canada).  There will be a special session
on "Complexity in Arbitrary Structures" organised by Christine Gassner 
(Greifswald, Germany) and Martin Ziegler (Paderborn, Germany).
The Programme Committee consists of  Zofia Adamowicz, Franz Baader, 
Arnold Beckmann (chair), Sam Buss, Manfred Droste, Christine Gassner,
Peter Koepke, Benedikt Loewe, Johann Makowsky, Elvira Mayordomo,
Damian Niwinski, Wolfgang Thomas, and Martin Ziegler.

The Programme Committee cordially invites all researchers in the area 
of the workshop to submit their extended abstracts for presentation at 
the workshop.  Further details about submission can be found on our 
website
                 http://www.cs.swan.ac.uk/greifswald2010/.

The deadline for submission of extended abstracts is 15 September 2009.


More information about the FOM mailing list