|
|
February 16, 2005
- SOS 2005: Call for Papers, sos2005-KujIM1l7rAGFxr2TtlUqVg
- CFP: KAZAM workshop, Hayo Thielecke
- Re: Terminology in operational semantics, Roy L. Crole
- Sixth Annual IBM Programming Languages Day (Call for Presentations), Mukund Raghavachari
- POSTDOCTORAL POSITION IN CERTIFIED ANALYSIS OF SOFTWARE, Thomas Genet
- Complexity of row unification, Henning Makholm
- cfp: COSMICAH 2005, Dino Distefano
- Terminology in operational semantics, Johan Glimming
- CMSB 2005: Second Announcement, gdp-9iOJEv++55WFxr2TtlUqVg
- CFP: Intuitionistic Modal Logic and Applications (IMLA'05), Frank Pfenning
- PPDP 2005 Submission Deadline Extended to February 22, Amy Felty
|
|