[FOM] Symposium on Logical Foundations of Computer Science (LFCS 07), at CUNY GC June 4-7

Joel David Hamkins jdh at hamkins.org
Thu May 17 14:27:00 EDT 2007



CUNY Graduate Center, New York City, June 4 - 7, 2007
URL: www.lfcs.info
Email: lfcs07 at 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.

More information about the FOM mailing list