Friday, June 9, 2017

Women in Logic: The Workshop!

So the first Workshop for Women in Logic is about to happen in Iceland! The program is looking great and we hope to see many of you there!

Preliminary Program:


Catuscia Palamidessi, Director of Research, INRIA  and Leader of the equipe Com├Ęte 
10:00-10:30 Ilina Stoilkovska, A Framework for Automated Verification of Synchronous Fault-Tolerant Distributed Algorithms

10:30-11:00 coffee 

11:00-11:30 Silvia Steila, A combinatorial bound for a restricted form of the Termination Theorem 
11:30-12:00 Yuting (Kino) Zhao, A model theoretic discussion of statistical learning 
12:00-12:30 Rehana Patel, Computability of algebraic and definable closure 
12:30-13:00 Alice  Pavaux. Inductive and Functional Types in Ludics

13:00-14:00 lunch 

14:00-15:00 Claudia Nalon, Professor at University of Brasilia, Brazil

15:00-15:30 Andrea Aler Tubella, Subatomic Proof Systems
15:30-16:00 Madalina Erascu. Computational Logic and Quantifier Elimination Techniques for Optimal Numerical Algorithms

16:00-16:30 coffee 

16:30-17:00 Giselle Reis, Translations from Resolution to Sequent Calculus 
17:00-17:30 Line Line Jakubiec-Jamet, Natural Language Processing and Coq: a case-study 
17:30-18:00 Maria Emilia Descotte,  Axiomatizations for Downward XPath 
18:00-onwards celebration!!!