People

Executive committee

Frank Pfenning: Chair
Véronique Cortier: Vice-chair
Amy Felty: Treasurer
Andrzej Murawski: Secretary
Thomas Schwentick (EACSL President)
Artur Czumaj (EATCS President)
Anuj Dawar (E-in-C ACM Transactions on Computational Logic)
Christoph Weidenbach and Phokion Kolaitis (ASL representatives)

Advisory Board (same as LICS SC): Martin Abadi, Christel Baier, Frédéric Blanqui, Patricia Bouyer, Andrei Bulatov, Anuj Dawar, Daniele Gorla, Erich Grädel, Martin Grohe, Holger Hermanns, Naoki Kobayashi, Leonid Libkin, Orna Kupferman, Annabelle McIver, Luke Ong, Joël Ouaknine, Frank Pfenning, Alexandra Silva, Sam Staton, and Lijun Zhang.

Publicity Committee: Andrzej Murawski (chair and editor of SIGLOG Newsletter), Prakash Panangaden, Alexandra Silva, Henning Basold, Website coordinator; Daniela Petrisan.

Conference committee: Martin Grohe, Elham Kashefi, Valeria de Paiva, Catuscia Palamidessi, Prakash Panangaden, Alexandra Silva (chair).

Awards Committee: Frank Pfenning (chair), Anuj Dawar, Paul Spirakis.

Education Committee: Iliano Cervesato (chair), Joao Marcos, Brigitte Pientka, R. Ramanujam, Alexis Saurin, Nicole Schweikardt, Richard Zach.

Membership committee: Dirk Pattinson (Australia), more TBA.

Executive Committee 2016 – 2019

Prakash Panangaden: Chair
Luke Ong: Vice-chair
Amy Felty: Treasurer
Alexandra Silva: Secretary

Executive Committee 2013-2016

Prakash Panangaden: Chair
Luke Ong: Vice-chair
Natarajan Shankar: Treasurer
Alexandra Silva: Secretary