Lics

IEEE Symposium on Logic in Computer Science

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

Fourth Federated Logic Conference (FLoC 2006)

2006-08-10 to 2006-08-22, Seattle, Washington, USA

On this page:

Participating Conferences

Organizers

General Chair

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

Conference Chair

Thomas Ball
Microsoft Research

Jakob Rehof
Universität Dortmund, Germany
jakob.rehof@cs.uni-dortmund.de

Publicity Chair

Stephan Kreutzer
Humboldt-Universität zu Berlin
kreutzer@informatik.hu-berlin.de

Nicole Schweikardt
Humboldt-Universität zu Berlin
schweika@informatik.hu-berlin.de

Organization

Moshe Y. Vardi (General Chair)
Thomas Ball (Conference Chair)
Jakob Rehof (Conference Chair)
Edmund M. Clarke (CAV Representative)
Manuel Hermenegildo (ICLP Representative)
Reiner Hähnle (IJCAR Representative)
Andrei Voronkov (IJCAR Representative)
Phokion G. Kolaitis (LICS Representative)
Aart Middeldorp (RTA Representative)
Henry A. Kautz (SAT Representative)
Stephan Kreutzer (Publicity Chair)
Nicole Schweikardt (Publicity Chair)
Gopal Gupta (Workshops Chair)
Lydia E. Kavraki (Treasurer)


Last modified: 2016-01-1416:21
Andrzej Murawski