April 2014 Archives by author

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

Starting: Tue Apr 1 16:28:30 CEST 2014
Ending: Wed Apr 23 23:42:48 CEST 2014
Messages: 4

• [Termtools] 2nd CfP: 14th Intl. Workshop on Termination (WST 2014), Vienna (Austria), 17-18 July   Carsten Fuhs
• [Termtools] WST 2014: Deadline extension until 30 April 2014   Carsten Fuhs
• [Termtools] CICLOPS-WLPE 2014: SECOND CALL FOR PAPERS   Thomas Ströder
• [Termtools] CICLOPS-WLPE 2014: FINAL CALL FOR PAPERS (deadline extended)   Thomas Ströder

Last message date: Wed Apr 23 23:42:48 CEST 2014
Archived on: Wed Apr 23 23:42:54 CEST 2014

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