2014 Archives by thread

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

Starting: Sun Jan 5 21:50:26 MET 2014
Ending: Wed May 7 17:15:36 MEST 2014
Messages: 42

• [clean-list] 1st Call for Papers - TFPIE 2014   James Caldwell
• [clean-list] 1st CFP, Intersection Types and Related Systems 2014   Luca
  • [clean-list] Joint 25th RTA & 12th TLCA: Final CALL FOR PAPERS   Luca Paolini
    • [clean-list] Joint 25th RTA & 12th TLCA: Last reminder   Luca
      • [clean-list] Joint 25th RTA & 12th TLCA: Deadline extension   Luca
  • [clean-list] ITRS 2014 - DEADLINE EXTENSION   Luca
    • [clean-list] LINEARITY 2014: Second Call for Papers   Luca
• [clean-list] CFP:: ICIEIS2014-Poland   The Third International Conference on Informatics Engineering and Information Science (ICIEIS2014)
• [clean-list] Postdoc positions in SAT/SMT-based Verification available in Trento   Roberto Sebastiani
• [clean-list] CFP:: Second WCIT2014- Malaysia   Natalie Walker
• [clean-list] GandALF 2014: Preliminary call for papers   murano at na.infn.it
• [clean-list] TFP 2014 - 2nd call for papers   Peter Achten
• [clean-list] 2nd Call for Papers - TFPIE 2014   Peter Achten
• [clean-list] SSTiC 2014: February 15, 3rd registration deadline   GRLMC
• [clean-list] Call for Participation RAMiCS 2014   Peter Höfner
• [clean-list] LOPSTR 2014 - First Call for Papers   Maurizio Proietti
• [clean-list] 2nd CFP, Intersection Types and Related Systems 2014   Luca Paolini
• [clean-list] SSTiC 2014: 15 March, 4th registration deadline   GRLMC - URV
• [clean-list] CiE 2014: Language, Life, Limits - Grants, and Call for Presentations   S B Cooper
• [clean-list] [TFP2014] Final Call For Papers   Peter Achten
• [clean-list] Call for Papers - QUATIC 2014   Quatic
• [clean-list] SSTiC 2014: April 12, 5th registration deadline   GRLMC
• [clean-list] RAMiCS 2014 Marienstatt Westerwald 28 April - Mai 1: 2nd CfPart   Peter Höfner
• [clean-list] Call for Papers - QUATIC 2014   Quatic
• [clean-list] Second CFP: WPTE'14, First International Workshop on Rewriting Techniques for Program Transformations and Evaluation   David Sabel
• [clean-list] [TFP2014] First Call for Participation   Peter Achten
• [clean-list] [TFPIE2014] final call for papers   Peter Achten
• [clean-list] Installation on Mac OS X   Harley D. Eades III
  • [clean-list] Installation on Mac OS X   RT Happe
    • [clean-list] Installation on Mac OS X   Harley D. Eades III
  • [clean-list] Installation on Mac OS X   John van Groningen
• [clean-list] Second CFP: Workshop on Generic Programming (WGP) 2014   José Pedro Magalhães
• [clean-list] ATVA - (Final) Call for Workshop Proposals   Peter Höfner
• [clean-list] ATVA 2014: Last Call for Papers -- Sydney November 3-7   Franck Cassez
• [clean-list] LOPSTR 2014: Second Call for Papers   Maurizio Proietti
• [clean-list] Workshop: MIND, MECHANISM AND MATHEMATICS - Columbia University, New York City, May 12-14, 2014   S B Cooper
• [clean-list] Extended Deadline and Final CFP: WPTE'14, First International Workshop on Rewriting Techniques for Program Transformations and Evaluation   David Sabel
• [clean-list] SSTiC 2014: May 10, 6th registration deadline   GRLMC
• [clean-list] GandALF 2014: Call for papers   murano
• [clean-list] Final CFP: Workshop on Generic Programming (WGP) 2014   José Pedro Magalhães
• [clean-list] PPDP 2014: 2nd Call for Papers   Jacob Johannsen
• [clean-list] WADT 2014 - 1st Call for Papers   2014 wadt

Last message date: Wed May 7 17:15:36 MEST 2014
Archived on: Wed May 7 21:48:12 MEST 2014

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