Lics

IEEE Symposium on Logic in Computer Science

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

Fifth Federated Logic Conference (FLoC 2010)

2010-07-09 to 2010-07-21, Edinburgh, Scotland, UK

On this page:

Participating Conferences

Organizers

General Chair

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

Conference Chair

Leonid Libkin
University of Edinburgh, UK
libkin@ed.ac.uk

Gordon Plotkin
University of Edinburgh, UK
gdp@ed.ac.uk

Publicity Chair

Nicole Schweikardt
Goethe University
schweika@informatik.uni-frankfurt.de

Organization

Moshe Y. Vardi (General Chair)
Leonid Libkin (Conference Chair)
Gordon Plotkin (Conference Chair)
Edmund M. Clarke (CAV Representative)
Graham Steel (CSF Representative)
Manuel Hermenegildo (ICLP Representative)
Alan Bundy (IJCAR Representative)
Tobias Nipkow (ITP Representative)
Martín Abadi (LICS Representative)
Jürgen Giesl (RTA Representative)
Enrico Guinchiglia (SAT Representative)
Andrei Voronkov (EasyChair Representative)


Last modified: 2017-04-0512:37
Andrzej Murawski