Lab for Automated Reasoning and Analysis LARA

Final Project Presentation

Format

The final presentation will be 15+5 (15mins for the presentation, and 5 minutes for the discussion + rotation). Your presentation can be on slides or blackboard. Demos are appreciated, when applicable.

Scheduling

Please fill the following doodle so that we can assign time slots to groups:

Doodle Link

Please fill only one entry per group.

Final Presentation Schedule

You are welcome to attend all presentations. In any case make sure you are ready 5 minutes before your time slot starts.

Wednesday 27.05.2015

Wednesday 13:15 INR 113 Sandro & Marco
Wednesday 13:35 INR 113 Florian
Wednesday 13:55 INR 113 Samuel
Wednesday 14:15 INR 113 Daniel
Wednesday 14:35 INR 113 Georg
Wednesday 14:55 INR 113 Cédric
Wednesday 15:15 INR 113 Manos
Wednesday 15:35 INR 113 Wang
Wednesday 15:55 INR 113
Wednesday 16:15 INR 113
Wednesday 16:35 INR 113

Friday 29.05.2015

Friday 15:15 INM 010 Ioannis
Friday 15:35 INM 010 Stefanos
Friday 15:55 INM 010 Amir & Khayyam
Friday 16:15 INM 010 Arseniy
Friday 16:35 INM 010 Maëlle & Mathieu
Friday 16:55 INM 010 Fengyun & Ólafur
Friday 17:15 INM 010 Bogdan
 
sav15/project_presentations.txt · Last modified: 2015/05/26 13:39 by ekneuss