Workshop on Abella and Bedwyr

Workshop on Abella and Bedwyr
Dates:  10-12 July 2012 (Tue/Wed/Thu)
Location: LIX (still in the old, familiar location)
All talks will take place in the Prefa (the extension to Aisle 0) except the last talk (Thursday at 14h) which will be held in the “bocal” (near the mailroom of LIX).

10 July, Tue

14h00 Lucca Hirschi (LRI and intern at ITU).  recent research with David Baelde on fixed points
15h00 Quentin Heath.  Recent enhancements to Bedwyr

11 July, Wed
10h30 Yuting Wang (intern from UMinn).   Recent work on the Abella system
14h00 Alberto Momigliano (Milan). Howe’s method in Abella
15h00 Beniamino Accattoli.  Proof pearl in Abella

12 July, Thu
10h30 Kaustuv Chaudhuri.   Recent work on Abella
14h00 Gopalan Nadathur (UMinn). Combining Deduction Modulo and Logics of Fixed-Point Definitions