People

Executive committee

Prakash Panangaden: Chair
Luke Ong: Vice-chair
Amy Felty: Treasurer
Alexandra Silva: Secretary
Catuscia Palamidessi
Anuj Dawar (EACSL President)
Paul Spirakis (EATCS President)
Dale Miller (E-in-C ACM Transactions on Computational Logic)
Andrzej Murawski
Veronique Cortier

Advisory Board: Martin Abadi, Samson Abramsky, Rajeev Alur, Bob Constable, Thierry Coquand, Thomas Henzinger, Jean-Pierre Jouannaud, Phokion Kolaitis, Dexter Kozen, Dale Miller, John Mitchell, Andrew Pitts, Gordon Plotkin, Jörg Siekmann, Moshe Vardi, and Glynn Winskel.

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: Prakash Panangaden (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 2013-2016

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