2019 Archives by thread

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...

Starting: Sat Jan 26 12:24:35 CEST 2019
Ending: Wed May 15 15:15:18 CEST 2019
Messages: 3

• [pept] HCVS 2019 - Second Call For Papers   Emanuele De Angelis
• [pept] DEADLINE EXTENSION - HCVS 2019: 6th Workshop on Horn Clauses for Verification and Synthesis   Emanuele De Angelis
• [pept] Metaprogramming Summer School (August 2019): call for applications   Jeremy Yallop

Last message date: Wed May 15 15:15:18 CEST 2019
Archived on: Wed May 15 15:36:20 CEST 2019

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...