From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/3495 Path: news.gmane.org!not-for-mail From: Phil Scott Newsgroups: gmane.science.mathematics.categories Subject: CFP: Symposium on Logical Foundations of Computer Science LFCS07 Date: Sun, 26 Nov 2006 21:33:45 -0500 (EST) Message-ID: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII; format=flowed X-Trace: ger.gmane.org 1241019341 9004 80.91.229.2 (29 Apr 2009 15:35:41 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:35:41 +0000 (UTC) To: categories Original-X-From: rrosebru@mta.ca Tue Nov 28 09:37:41 2006 -0400 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Tue, 28 Nov 2006 09:37:41 -0400 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1Gp313-0006md-MM for categories-list@mta.ca; Tue, 28 Nov 2006 09:28:53 -0400 Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 7 Original-Lines: 44 Xref: news.gmane.org gmane.science.mathematics.categories:3495 Archived-At: ************************************************************************ 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@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 11, 2006 * 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 (Leeds); Alasdair Urquhart (Toronto).