People

Executive committee

Office holders

Catuscia Palamidessi: Chair
Andrzej Murawski: Vice-chair
Sandra Alves: Secretary
Elaine Pimentel: Treasurer

Members

Franck van Breugel
Liron Cohen
Carsten Fuhs
Prakash Panangaden
Simona Ronchi Della Rocca

Ex officio members

Artur Czumaj (EATCS President)
Anuj Dawar (E-in-C ACM Transactions on Computational Logic)
Maribel Fernandez (EACSL President)
Phokion Kolaitis (ASL representatives)
Christoph Weidenbach (CADE President)


Committees

Advisory Board (same as LICS SC): Orna Kupferman (chair), Alexandra Silva, Christel Baier, Dale Miller, Joel Ouaknine, Martin Grohe, Naoki Kobayashi, Brigitte Pientka, Alwen Tiu, Dana Fisman, Leonid Libkin, Sam Staton, Igor Walukiewicz, Gaboardi, Marco, Valentin Blot, Joost-Pieter Katoen, Javier Esparza, Ugo Dal Lago, Pawel Sobocinski, Daniele Gorla.

Publicity Committee: Elli Anastasiadi (coordinator of SIGLOG Monthly), Daniele Gorla (editor of SIGLOG Newsletter),   Carlos Olarte (website coordinator), Prakash Panangaden, Elaine Pimentel (social media chair), 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: Franck van Breugel (chair), Iliano Cervesato, Joao Marcos, Brigitte Pientka, R. Ramanujam, Alexis Saurin, Nicole Schweikardt, Richard Zach.

Membership Committee: Dirk Pattinson.

Research Highlights Committee:  Sandra Alves, Liron Cohen (chair), Azadeh Farzan, Maribel Fernandez, Igor Walukiewicz.


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