News & Events
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.