loading...

UC.PT

International Joint Conference on Automated Reasoning

Local Committee

Conference Chair
 Pedro Quaresma, University of Coimbra, Portugal
Publicity Chair
 Sandra Marques Pinto, University of Coimbra, Portugal
Workshops Chair
 Reinhard Kahle, New University of Lisbon, Portugal

Nuno Baeta, Institute of Engineering - Polytechnic Institute of Coimbra, Portugal
Carlos Caleiro, IST - University of Lisbon, Portugal
Nelma Moreira, University of Porto, Portugal
João Rasga, CMAF-CIO - University of Lisbon, Portugal
Vanda Santos, CISUC, Portugal