[Club2] Wed. Nov. 3, 15:00: Filip Maric

Alexander Krauss krauss at in.tum.de
Tue Nov 2 16:46:43 CET 2010

Previous message: [Club2] Title and abstract for Talk on 17 November
Next message: [Club2] Wed. Nov. 10, 14:00: Sascha Böhme
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Dear all,

Filip Maric from Belgrade is visiting us this week. Tomorrow, he'll give 
a short talk on his work.

SAT Solver Verification in Isabelle
==================================================
Wed. Nov. 3, 15:00, MI 00.09.055 ("Alan Turing")

Previous message: [Club2] Title and abstract for Talk on 17 November
Next message: [Club2] Wed. Nov. 10, 14:00: Sascha Böhme
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Club2 mailing list