[FOM] SYMPOSIUM ON LOGICAL FOUNDATIONS OF COMPUTER SCIENCE (LFCS'07)

Sergei Artemov sartemov at gc.cuny.edu
Thu Nov 9 16:59:19 EST 2006


SYMPOSIUM ON LOGICAL FOUNDATIONS OF COMPUTER SCIENCE (LFCS'07)
Revised Call for papers
NOTE THE REVISED SUBMISSION DEADLINE
New York City, June 4 - 7, 2007
URL: www.cs.gc.cuny.edu/lfcs07
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. The LFCS 
schedule is consistent with LICS and CSL timelines.
* 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.
* All submissions must be done electronically (15 pages, pdf, 12pt) via 
http://www.easychair.org/LFCS07/
* Submission deadline: December 4, 2006 (Revised from December 18)
* Notification: January 11, 2007
* 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).



More information about the FOM mailing list