4-7 June 2007
New York NY, U.S.A.
CALL FOR PARTICIPATION SYMPOSIUM ON LOGICAL FOUNDATIONS OF COMPUTER SCIENCE (LFCS'07) CUNY Graduate Center, New York City, June 4 - 7, 2007 URL: www.lfcs.info Email: lfcs07@gmail.com * Purpose. The LFCS series provides an outlet for the fast-growing body of work in the logical foundations of computer science, e.g., areas of fundamental theoretical logic related to computer science. * Theme. Constructive mathematics and type theory; logical foundations of programming; logical aspects of computational complexity; logic programming and constraints; automated deduction and interactive theorem proving; logical methods in protocol and program verification; logical methods in program specification and extraction; domain theory logics; logical foundations of database theory; equational logic and term rewriting; lambda and combinatory calculi; categorical logic and topological semantics; linear logic; epistemic and temporal logics; intelligent and multiple agent system logics; logics of proof and justification; non-monotonic reasoning; logic in game theory and social software; logic of hybrid systems; distributed system logics; system design logics; other logics in computer science. * Steering Committee. Anil Nerode (Cornell, General Chair); Stephen Cook (Toronto); Dirk van Dalen (Utrecht); Yuri Matiyasevich (St.Petersburg); John McCarthy (Stanford); J. Alan Robinson (Syracuse); Gerald Sacks (Harvard); Dana Scott (Carnegie-Mellon). * Program Committee. Samson Abramsky (Oxford); Sergei Artemov (New York City, PC Chair); Matthias Baaz (Vienna); Lev Beklemishev (Moscow); Andreas Blass (Ann Arbor); Lenore Blum (CMU); Samuel Buss (San Diego); Thierry Coquand (Go"teborg); Ruy de Queiroz (Recife, Brazil); Denis Hirschfeldt (Chicago); Bakhadyr Khoussainov (Auckland); Yves Lafont (Marseille); Joachim Lambek (McGill); Daniel Leivant (Indiana); Victor Marek (Kentucky); Anil Nerode (Cornell, General LFCS Chair); Philip Scott (Ottawa); Anatol Slissenko (Paris); Alex Simpson (Edinburgh); V.S. Subrahmanian (Maryland); Michael Rathjen (Columbus); Alasdair Urquhart (Toronto). * Registration fee $200 ($250 after May 20); students $70 ($100 after May 20). This includes a conference package, a Springer LNCS volume of proceedings, coffee breaks, the welcome reception on June 3, the conference dinner on June 4. In addition, US student participants will be reimbursed $35 from NSF after the conference. As you can see, the conference is subsidized heavily and offers a very good deal, especially for students.