News & Events

November 2017

Logic Conferences at the University of Brasilia

Logic Conferences at the University of Brasilia

Clare Dixon and Ullrich Hustadt traveled to The University of Brasilia, Brazil in September 2017 to participate in 11th International Symposium on Frontiers of Combining Systems (FroCoS), the  26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX) and the 8th International Conference on Interactive Theorem Proving (ITP). Clare Dixon was the programme co-chair of FroCoS.

Claudia Nalon, who received her PhD from the University of Liverpool, was programme co-chair of TABLEAUX 2017 and, with her team from the University of Brasilia, organised all three events. The conferences were a great success and very well attended including contributed papers, several invited speakers, workshops, tutorials and a shared poster session. Claudia is currently visiting the University of Liverpool.

(more info)

Return to main news page