Logical Approaches to Barriers in
Computing and Complexity

Print current page  Print this page


The DVMLG, the PTLiFN, the ACiE and the EACSL jointly organize a workshop on Logical Approaches to Barriers in Computing and Complexity. The workshop is sponsored by the Stiftung Alfried Krupp Kolleg Greifswald and the DFG, and takes place at the Alfried Krupp Wissenschaftskolleg in the city of Greifswald in Germany.

Date of the Workshop: 17 - 20 February 2010
Submission Deadline of Extended Abstracts: 7 November 2009

Scientific Scope. Computability theory and complexity theory have their origins in logic. Famous names such as Gödel, Turing, Cook, and Kolmogorov connect these areas of computer science to foundations of mathematics. The fundamental goal of this area is to understand the limits of computability or effective computability where the most famous open problem is the P = NP-problem, listed on top of the collection of seven Clay Prize problems. Logic provides a multifarious toolbox of techniques to analyse questions like this, some of which promise to provide a deep insight in the structure of limit of computation. [...]

Financial Support. The local hotel costs of speakers of accepted talks will be covered. In addition to that, we are able to offer partial reimbursement of the travel expenses to speakers of accepted talks. In exeptional cases full reimbursement is possible.

Keynote Speakers. Alessandra Carbone (Paris, France), Lance Fortnow (Evanston, IL, U.S.A.), Erich Grädel (Aachen, Germany), Pascal Koiran (Lyon, France), Leszek Kolodziejczyk (Warsaw, Poland), Antonina Kolokolova (St.John's, NL, Canada).

Special Session on Complexity in Arbitrary Structures organised by Christine Gaßner (Greifswald, Germany) and Martin Ziegler (Darmstadt, Germany). More Information...

Programme Committee. Zofia Adamowicz (Warsaw, Poland), Franz Baader (Dresden, Germany), Arnold Beckmann (chair; Swansea, Wales), Sam Buss (La Jolla CA, U.S.A.), Manfred Droste (Leipzig, Germany), Christine Gaßner (Greifswald, Germany), Peter Koepke (Bonn, Germany), Benedikt Löwe (Amsterdam, The Netherlands), Johann Makowsky (Haifa, Israel), Elvira Mayordomo (Zaragoza, Spain), Damian Niwinski (Warsaw, Poland), Wolfgang Thomas (Aachen, Germany), Martin Ziegler (Darmstadt, Germany).

05 March 2010
Photos online

05 February 2010
Programme online

19 December 2009
Accepted talks online
Greifswald's gothic-baroque Town Hall
University of Greifswald
Wieck (the seaside part of the town)

Deutsche Vereinigung für Mathematische Logik und für 
Grundlagen der Exakten Wissenschaften Polskie Towarzystwo Logiki i Filozofii Nauki Computability in Europe European Association for Computer Science Logic

websites: Arnold Beckmann 2009-10-11 Valid HTML 4.01! Valid CSS!