People

Executive committee

Catuscia Palamidessi: Chair
Andrzej Murawski: Vice-chair
Sandra Alves: Secretary
Elaine Pimentel: Treasurer
Christoph Weidenbach (CADE President)
Thomas Schwentick (EACSL President)
Artur Czumaj (EATCS President)
Anuj Dawar (E-in-C ACM Transactions on Computational Logic)
Phokion Kolaitis (ASL representatives)

Advisory Board (same as LICS SC): Orna KupfermanDale MillerMartin GroheIgor WalukiewiczChristel BaierLeonid LibkinNaoki KobayashiMarco GaboardiDana FismanDaniele GorlaHolger HermannsLijun ZhangFrédéric BlanquiSam StatonAlexandra SilvaJoel Ouaknine, Brigitte Pientka, Frank Pfenning, Alwen Tiu.

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 2019 – 2022

Frank Pfenning: Chair
Véronique Cortier: Vice-chair
Amy Felty: Treasurer
Andrzej Murawski: Secretary

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