logo Région Lorraine

Meeting detail

Fourth meeting -- 04-08 August 2014 -- MPI, Saarbrücken

Participants

Haniel Barbosa, Federico Dobal, Pascal Fontaine, Marek Košta, Maximilian Jaroschek Thomas Sturm.

Program: Summer School

Monday, August 4

10:00-18:00 : Introduction to SAT (Pascal Fontaine)

Tuesday, August 5

09:00-17:00 : Introduction to SMT (Pascal Fontaine)

Wednesday, August 6

09:00-12:00 : Introduction to Virtual Substitution (Thomas Sturm)
13:00-17:00 : More about Virtual Substitution (Marek Košta)

Dinner in Saarbrücken

Thursday, August 7

09:00-12:00 : Introduction to CAD (Thomas Sturm)
13:00-15:00 : Practical Session: using Reduce (Thomas Sturm)
15:00-17:00 : Introduction to SAGE (Maximilian Jaroschek)

Friday, August 8

09:00-12:00 : Coding session: interfacing Redlog and veriT