Committees

Organizing Committee:

– Ofer Arieli (Academic College of Tel Aviv, Israel)
– Arnon Avron (Tel Aviv University, Israel)
– Liron Cohen (Cornell Univeristy, USA)
– Nachum Dershowitz (Tel Aviv University, Israel)
– Ori Lahav (Max Planck Institute for Software Systems, Germany)
– Yoni Zohar (Tel Aviv University, Israel)
– Anna Zamansky (University of Haifa, Israel)

 

 

Program Committee:

– Ofer Arieli (Academic College of Tel Aviv, Israel), co-chair
– Arnon Avron (Tel Aviv University, Israel), co-chair
– Libor Behounek (University of Ostrava, The Czech Republic)
– Agata Ciabattoni (TU Wien, Austria)
– Petr Cintula (Academy of Sciences, The Czech Republic)
– Nachum Dershowitz (Tel Aviv University, Israel)
– Lluis Godo (IIIA – CSIC, Spain)
– Roman Kuznets (TU Wien, Austria)
– Joao Marcos (UFRN, Brazil)
– Alexander Rabinovich (Tel Aviv University, Israel)
– Anna Zamansky (University of Haifa, Israel), co-chair