News & Events

Events

News

  • November 2017
    Logic Conferences at the University of Brasilia
    Logic Conferences at the University of Brasilia

    Frontiers of Combining Systems (FroCoS),  Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX) and Interactive Theorem Proving (ITP)

    Clare Dixon was the programme co-chair of FroCoS

Show more