UC.PT

• Path
• › UC.PT
• › English Version
• › Events
• › International Joint Conference on Automated Rea...
• › Next Conferences

Next Conferences

2017

• CADE-26, August 2017,  Gothenburg, Sweden
• Tableaux & FroCos & ITP, September 2017, Brasília, Brazil

2018

• FLOC 2018, 6th-19th July 2018, Oxford