Monday, June 26, 2017

Back from Iceland: Women in Logic 2017

The workshop Women in Logic was a big success. Here we are at the end of the day of talks.

Ursula Martin took the picture and one or two might be missing from it, but the workshop really worked well. The talks were all well-presented and the material was very interesting. It helped that (at least) four of the ten presenters were just about finishing their phds, so plenty of new research to be discussing. 

The two invited speakers Catuscia Palamidessi and Claudia Nalon  were great and attracted extra attendance from the other workshops. Thanks for stepping in, girls! 

Also thanks to all speakers, participants and  the ones far away but cheering for us!

Now, we're hoping to do Women in Logic 2018 too. How can we improve on this year's workshop? Let us know of your suggestions!

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!!!