Logical Foundations of Computer Science (LFCS)

www.lfcs.info

LFCS 2013: San Diego, CA, USA

LFCS 2009: Deerfield Beach, FL, USA

LFCS 2007: New York, NY, USA

4. LFCS 1997: Yaroslavl, Russia

3. LFCS 1994: St. Petersburg, Russia

2. LFCS 1992: Tver, Russia

Logic at Botik 1989: Pereslav-Zalessky, USSR