The Logical Foundations of Computer Science (LFCS) symposium of 2013 will be held in San Diego, CA on January 6-8 of 2013. The LFCS General Chair is Anil Nerode (Cornell University), the Program Committee Chair is Sergei Artemov (Graduate Center of the City University of New York), and the Organizing Committee Chair is Jeff Remmel (University of California San Diego). The LFCS series represents the body of work in those areas of fundamental logic related to computer science. The conference is intended to encourage the interchange and interuse of ideas emanating from a wide variety of fields and applications. Since its origin in 1989, each LFCS meeting has resulted in a Springer volume of proceedings published prior to the conference and, as has been the norm, a post-conference volume of Annals of Pure and Applied Logic - a flagship journal in mathematical logic.
LFCS conferences appear to be of significant and growing importance for the logic and foundations community in the United States since computer and information sciences provide a cluster of areas in which the core logical methods are applicable in the most immediate and powerful way. Such a conference is pivotal for building a cadre of future logical foundations of computer science. The US community in logic and foundations will benefit greatly from such a conference. Logic life in the San Diego area is vibrant with many directions of logic and foundations interacting in most fruitful ways. The conference will attract a good number of participants including graduate students for whom this conference will be a milestone event.
The LFCS 2013 Web site is located at www.lfcs.info/lfcs13
(LFCS) symposium took place in San Diego in January 6-8, 2013. The LFCS General Chair was Anil Nerode (Cornell), the Program Committee Chair was Sergei Artemov (Graduate Center CUNY), and the Organizing Committee Chair was Jeff Remmel (UC San Diego). The symposium series LFCS started at 1989, and is currently a US-based series that represents the body of work in the areas of fundamental logic related to computer science. Computational science models in such areas as industrial factory control, secure communications, sound enterprise systems, data mining, bioinformatics, and program verification and correctness were built in the late 20th century on the basis of existing logical frameworks which support automated reasoning. This feedstock needs to be far extended and replenished due to hosts of emerging problems whose solution has to be based on adroit selection and development of new applied logics arising from a variety of emerging disciplines. The goal of LFCS under Nerode has been been to fulfill this function at the highest level. To wit, this is not a meeting of narrow specialists competing for the best possible results in a narrow field of limited interest, so typical of computer science, engineering, and mathematics, but is rather intended to encourage the interchange and interuse of ideas emenating from a wide variety of fields and applications. This is a lively and active community. The history of fundamental contributions of LFCS publications is quite impressive and LFCS 2013 has continued this tradition. Broader Impact LFCS conferences appear to be of significant and growing importance for the logic and foundations community in the United States, since computer and information sciences provide a cluster of areas in which the core logical methods are applicable in the most immediate and powerful way. Such a conference is pivotal for building a cadre of future logical foundations of computer science in the United States. The US community in logic and foundations benefits greatly of LFCS 2013. Logic life in the San Diego area is vibrant with many directions of logic and foundations interacting in most fruitful ways. The conference has attracted a good number of participants including graduate students for whom this conference was a milestone event. Another major beneficiary of LFCS 2013 was the logic community in the City University of New York, one of the leading institutions with a high number of underrepresented groups. Seven of the eight senior campuses of CUNY rank in the top 100 schools for overall number of Hispanic baccalaureate degrees, and the student body as a whole is primarily from households with income of less than $30,000. CUNY has an excellent record of involving minority students in research opportunities both inside and outside the university. The NSF support allowed very capable but underfunded students at the Graduate Center of CUNY to attend LFCS 2013 in San Diego. Outcome The LFCS 2013 Program Committee consisted of Sergei Artemov (New York) - PC Chair; Steve Awodey (CMU); Alexandru Baltag (Oxford); Andreas Blass (Ann Arbor); Walter Dean (Warick); Rod Downey (Wellington, NZ); Ruy de Queiroz (Recife); Antonio Montalban (Chicago); Rosalie Iemhoff (Utrecht); Bakhadyr Khoussainov (Auckland, NZ); Roman Kuznetz (Bern); Lawrence Moss (Bloomington, IN); Robert Lubarsky (Florida Atlantic University); Victor Marek (Lexington, KY); Franco Montagna (Siena); Anil Nerode (Cornell) - General LFCS Chair; Mati Pentus (Moscow); Jeffrey Remmel (San Diego); Bryan Renne (Amsterdam); Philip Scott (Ottawa); Alex Simpson (Edinburgh); Sonja Smets (Groningen); Michael Rathjen (Leeds); Alasdair Urquhart (Toronto); Michael Zakharyashchev (London). The Program Committee selected 29 presentations out of 45 submitted and has arranged for the following prominent invited speakers, including the ones from a special session: Melvin Fitting (CUNY), Russell Impagliazzo (University of California San Diego), Moshe Vardi (Rice University), Robert Soare (University of Chicago), Michael Fellows (Charles Darwin University, Australia), Rod Downey (Victoria University of Wellington, New Zealand), Richard Shore (Cornell University), Jeff Remmel (University of California San Diego), James Lipton (Wesleyan University), and Mia Minnes (University of California San Diego). LFCS 2013 papers (up to 15 pages each in the Springer format) were published by Springer in the volume of Lecture Notes in Computer Science No. 7734 distributed at the conference. The total attendance (registration) was 63 people. The LFCS series has the best student paper award, The Rosser Prize, named after John Barkley Rosser Sr. (1907–1989), a prominent American logician with fundamental contributions in both Mathematics and Computer Science. After a direct vote of the whole Program Committee, the Rosser Prize at LFCS 2013 went to Junhua Yu of the CUNY Graduate Center for his paper "Self-referentiality in the Brouwer-Heyting-Kolmogorov Semantics of Intuitionistic Logic."
