2018 Archives by subject

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

Starting: Mon Jan 8 17:20:11 CEST 2018
Ending: Tue Dec 25 16:08:57 CEST 2018
Messages: 15

• [pept] Call for Papers: HVCS'18 - 5th Workshop on Horn Clauses for Verification and Synthesis   German Vidal
• [pept] CALL FOR PARTICIPATION. FLOPS 2018: 14th International Symposium on Functional and Logic Programming   John Patrick Gallagher
• [pept] DEADLINE EXTENSION - VPT-2018: 6th International Workshop on Verification and Program Transformation   John Patrick Gallagher
• [pept] Deadline extension: HCVS'18 - 5th Workshop on Horn Clauses for Verification and Synthesis   German Vidal
• [pept] FINAL CALL for papers: Sixth International Workshop on Verification and Program Transformation (VPT 2018)   John Patrick Gallagher
• [pept] Final CFP: 5th Workshop on Horn Clauses for Verification and Synthesis (HCVS 2018, affiliated with ICLP at FLoC 2018)   German Vidal
• [pept] Fwd: Special issue on Reversible Computing appeared   Eijiro Sumii
• [pept] HCVS 2019 - First Call For Papers   Emanuele De Angelis
• [pept] PEPM 2019 call for papers   Atsushi Igarashi
• [pept] PEPM 2019 Call for Posters, Demos, and Participation   Atsushi Igarashi
• [pept] PEPM 2019 Final Call for Posters/Demos   Atsushi Igarashi
• [pept] PEPM 2019: Deadline extended to Oct. 19   Atsushi Igarashi
• [pept] Second call for Papers: HVCS'18 - 5th Workshop on Horn Clauses for Verification and Synthesis   German Vidal
• [pept] WFLP 2018: Call for Papers   Salvador Tamarit
• [pept] WFLP 2018: Second Call for Papers   Salvador Tamarit

Last message date: Tue Dec 25 16:08:57 CEST 2018
Archived on: Tue Dec 25 23:20:43 CEST 2018

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