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)
Prakash Panangaden
Simona Ronchi Della Rocca
Franck van Breugel
Liron Cohen

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: Daniele Gorla (editor of SIGLOG Newsletter),   Carlos Olarte (website coordinator), Prakash Panangaden, David Purser (co-ordinator of SIGLOG Monthly), Alexandra Silva.

Conference committee: Martin Grohe, Elham Kashefi, Joost-Pieter Katoen (chair), Valeria de Paiva, Catuscia Palamidessi and Prakash Panangaden.

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).

 

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