Lics

ACM/IEEE Symposium on Logic in Computer Science

LICS Home - LICS Awards - LICS Newsletters - LICS Archive - LICS Organization - Logic-Related Conferences - Links

Third Federated Logic Conference (FLoC 2002)

2002-07-20 to 2002-08-01, Copenhagen, Denmark

On this page:

Participating Conferences

Organizers

General Chair

Moshe Y. Vardi
Rice University
vardi@cs.rice.edu

Harald Ganzinger (Associate General Chair)

Conference Chair

Neil D. Jones
U Copenhagen, Denmark
neil@diku.dk

Publicity Chair

Martin Grohe
U Edinburgh, UK
grohe@dcs.ed.ac.uk

Organization

Moshe Y. Vardi (General Chair)
Neil D. Jones (Conference Chair)
Ulrich Furbach (CADE Representative)
Edmund M. Clarke (CAV Representative)
Dines Bjørner (FME Representative)
Catuscia Palamidessi (ICLP Representative)
Samson Abramsky (LICS Representative)
Nachum Dershowitz (RTA Representative)
Reiner Hähnle (TABLEAUX Representative)
Harald Ganzinger (Associate General Chair)
Dana S. Scott (IFCOLOG representative)
Martin Grohe (Publicity Chair)
Lars Birkedal (Treasurer)


Last modified: 2022-10-3113:49
Sam Staton