UC.PT

• Path
• › UC.PT
• › English Version
• › Events
• › International Joint Conference on Automated Rea...
• › Photos of the Event

Photos of the Event

 Some photos of the event (more will come soon).

• Group Photo, 27-6-2016
• Best Paper Award
• Herbrand Award
• CASC Prize
• CASC Prize
• CASC Prize
• Group photo, 30-6-2016
• Archive with all the photografies (920MB)