Mail Index

• Thread Index

• [pept:1] test
  • From: Eijiro Sumii
• [pept:2] another test
  • From: Eijiro Sumii
• [pept:3] the last test...
  • From: Eijiro Sumii
• [pept:4] CL2000: 3rd call for papers
  • From: Raamsdonk van F
• [pept:5] Applied Semantics Summer School APPSEM'2000
  • From: Simao Desousa
• [pept:6] CL2000: deadline postponed to February 21st
  • From: Raamsdonk van F
• [pept:7] Opening: Research Fellow in Model Checking and Program Analysis
  • From: Michael Leuschel
• [pept:8] CfP Conf on Functional Programming (ICFP2000)
  • From: Robert Glueck
• [pept:9] PH.D. grant, DIKU, UNIVERSITY OF COPENHAGEN
  • From: Robert Glueck
• [pept:10] Applied Semantics Summer School APPSEM'2000
  • From: Simao Desousa
• [pept:11] FME 2001: Call for Papers
  • From: J. Nuno Oliveira
• [pept:12] MPC2000: call for participation
  • From: Jose Bernardo Barros
• [pept:13] CfP Generative and Component-Based Software Engineering
  • From: Robert Glueck
• [pept:14] MPC2000 - 2nd Call for Participation
  • From: lsb
• [pept:15] CfP GCSE Young Researchers Workshop 2000
  • From: Kai Boellert (by way of Robert Glueck)
• [pept:16] CFP: Workshop on Program Generation
  • From: Walid Taha
• [pept:17] FME 2001: Call for Papers
  • From: Jose N. Oliveira
• [pept:18] SAIG Deadline Extended to June 5th
  • From: Walid Taha
• [pept:19] Workshop on Generative Techniques for Product Lines
  • From: Krzysztof Czarnecki (by way of RobertGlueck)
• [pept:20] FST TCS 2000: One week extension on the submission deadline
  • From: Sanjiva Prasad
• [pept:21] FDDO-3 CFP
  • From: Mike Smith (via Julia Lawall<Julia.Lawall@irisa.fr>)
• [pept:22] 3rd SIGPLAN Continuations Workshop -- call for papers
  • From: Continuation Workshop 1997
• [pept:23] PADO-II call for papers
  • From: Symposium on Program as Data Objects
• [pept:24] CFPs: IEEE Int. Conf. on Software Maint., Florence, Italy
  • From: ICSM2001 (Canfora)
• [pept:25] ANNOUNCE: Availability of DMS Software Reengineering Toolkt
  • From: Ira D. Baxter
• [pept:26] ETAPS 2001: Deadline Approaching
  • From: Etaps 2001
• [pept:27] PADO-II CFP -- reminder
  • From: Symposium on Program as Data Objects
• [pept:28] CFP: JFP on SAIG
  • From: Walid Taha
• [pept:29] extended deadline for PADO-II
  • From: Symposium on Program as Data Objects
• [pept:30] Static Analysis Symposium 2001, Paris : 1st CfP
  • From: Radhia Cousot
• [pept:31] RelMiS 2001 --- Call for Papers
  • From: kahl
• [pept:32] Call for Participation (Continuations Workshop CW'01)
  • From: Amr Sabry
• [pept:33] IEEE Conference Software Maint. Italy,Florence, ICSM2001
  • From: icsm2001 (NESI)
• [pept:34] ETAPS 2001 FIRST CALL FOR PARTICIPATION
  • From: TR
• [pept:35] CfP Generative and Component-Based SW Engineering (GCSE'2001)
  • From: Jan Bosch" (by way of Robert Glueck)
• [pept:36] CFP: JFP on SAIG [Extended deadline]
  • From: Walid Taha
• [pept:37] CfP ICSE Workshop on Generative Techniques for Product Lines
  • From: BUTLER gregory (by way of Robert Glueck)
• [pept:38] 8th Static Analysis Symposium : Last CFP
  • From: Radhia Cousot
• [pept:39] CfP Reflection 2001
  • From: by way of Robert Glueck
• [pept:40] SAS'01 : Submission Deadline Extension
  • From: Radhia Cousot
• [pept:41] ETAPS 2001: SECOND CALL FOR PARTICIPATION
  • From: Etaps 2001
• [pept:42] CALL FOR PAPERS -- JOURNAL OF FUNCTIONAL PROGRAMMING
  • From: Simon Helsen
• [pept:43] PEPM'02, Preliminary Call for Papers
  • From: Peter Thiemann
• [pept:44] CFP: SAIG'01
  • From: Walid Taha
• [pept:45] SAS'01 Call For Participation
  • From: radhia
• [pept:46] FINAL CFP: SAIG'01
  • From: Walid Taha
• [pept:47] SAIG'01 Extended Deadline
  • From: Walid Taha
• [pept:48] CfP IFL 2001 call for papers
  • From: by way of Robert Glueck
• [pept:49] SAS'01: Early registration 15th June
  • From: radhia
• [pept:50] CfP PEPM'02
  • From: Martin Grohe (by way of Robert Glueck)
• [pept:51] CFP: PEPM'02
  • From: Peter Thiemann
• [pept:52] 30th SPRING SCHOOL THEORETICAL COMPUTER SCIENCE
  • From: Ecole d'ete 2001
• [pept:53] SAIG'01 Prelim Program
  • From: Walid Taha
• [pept:54] IEEE Conf.on Software Maintenance Italy,Florence, ICSM2001
  • From: icsm2001 (NESI)
• [pept:55] CfP OOPSLA'01 Workshop on Generative Programming
  • From: Krzysztof Czarnecki (by way of RobertGlueck)
• [pept:56] Stratego 0.6
  • From: Eelco Visser
• [pept:57] FME'2002 CFP
  • From: Lars-Henrik Eriksson
• [pept:58] LOPSTR'01 - Submission Deadline Extension (fwd)
  • From: Robert Glueck
• [pept:59] PEPM'02: Final Call for Papers
  • From: Peter Thiemann
• [pept:60] ETAPS 2003: CALL FOR SATELLITE EVENT PROPOSALS
  • From: etaps03
• [pept:61] MetaOcaml Preliminary announcement
  • From: Walid Taha (by way of Robert Glueck)
• [pept:62] CfP ETAPS 2002, DEADLINE OCT 19, 2001
  • From: by way of Robert Glueck
• [pept:63] CFP: PPL2002 call for papers
  • From: Kenichi Asai
• [pept:64] 30th Spring School Theorical Computer Science - Early Registration
  • From: Ecole d'ete 2001
• [pept:65] PEPM'02 -- call for participation
  • From: Peter Thiemann
• [pept:66] CFP : ASIA-PEPM 2002
  • From: Chin Wei Ngan
• [pept:67] CfP Session on Adaptable Software Architectures
  • From: Subramanian, Narayanan" (by wayof Robert Glueck)
• [pept:68] CfP ICFP (Functional Programming) 2002: Call for Papers
  • From: Shriram Krishnamurthi (by way of Robert Glueck)
• [pept:69] CfP Workshop on Generative Programming (GP2002)
  • From: Joost Visser (by way of Robert Glueck)
• [pept:70] CfP WFLP2002 - Preliminary Call for Papers
  • From: Marco Comini (by way of Robert Glueck)
• [pept:71] CFP: Strategies for Program Transformation; Stratego Tutorial at ETAPS
  • From: Eelco Visser
• [pept:72] CfP Workshop on Generative Programming (GP2002)
  • From: Merijn de Jonge" (by way of Robert Glueck)
• [pept:73] Icsm 2002 Call for Papers: deadlines changed
  • From: icsmif
• [pept:74] PhD Fellowship in Valencia, Spain
  • From: Maria Alpuente (by way of Robert Glueck)
• [pept:75] CFP Generators and Components (GCSE/SAIG'02)
  • From: Walid Taha
• [pept:76] Call for papers: TIP'02
  • From: tip02
• [pept:77] Call for Participation: Strategies for Program Transformation; Stratego Tutorial at ETAPS
  • From: Eelco Visser
• [pept:78] Final CFP : FLOPS'02 / ASIA-PEPM'02
  • From: Zhenjiang Hu
• [pept:79] (fwd) CfP Software Evolution Through Transformations
  • From: Reiko Heckel (by way of Robert Glueck)
• [pept:80] Icsm 2002 Call for Papers: deadline is approaching
  • From: icsm2002.info
• [pept:81] ECOOP2002 Workshop on Generative Programming
  • From: Krzysztof Czarnecki (by way of RobertGlueck)
• [pept:82] CFP FLOPS'02 and ASIA-PEPM'02 : Last Deadline Extension
  • From: Chin Wei Ngan
• [pept:83] Stratego 0.7
  • From: Eelco Visser
• [pept:84] LAST CALL FOR PAPERS: Generators and Components (GCSE/SAIG'02)
  • From: Charles Consel
• [pept:85] WFLP2002 - deadline EXTENSION
  • From: WFLP2002 Organizing Committee (by way ofRobert Glueck)
• [pept:86] CFP: PLI-Workshop on Rule-Based Programming
  • From: Bernd Fischer
• [pept:87] CFP: TIP'02 Workshop on Types in Programming
  • From: Workshop on Types in Programming
• [pept:88] ECOOP'02 Workshop on Generative Programming... last call
  • From: Krzysztof Czarnecki (by way of RobertGlueck)
• [pept:89] CfP GCSE/SAIG Young Researchers Workshop 2002
  • From: by way of Robert Glueck
• [pept:90] Summer School on Generative Programming
  • From: Kai Koskimies (by way of Robert Glueck)
• [pept:91] Master Program Software Technology at Utrecht University
  • From: Eelco Visser
• [pept:92] CfP LOPSTR'02
  • From: Michael Leuschel (by way of Robert Glueck)
• [pept:93] Second Call for Papers: RULE'02 - Workshop on Rule-Based Programming
  • From: Eelco Visser
• [pept:94] Strafunski: Major New Edition
  • From: Ralf Laemmel
• [pept:95] SoSyM - New Intl. Journal on Software & System Modeling
  • From: Bernhard Rumpe
• [pept:96] WFLP2002: Call for PARTICIPATION
  • From: Marco Comini (by way of Robert Glueck)
• [pept:97] Final CFP / Deadline Extension: RULE'02
  • From: Bernd Fischer
• [pept:98] LOPSTR'02 - Call For Papers
  • From: Michael Leuschel (by way of Robert Glueck)
• [pept:99] TIP'02: Call for Participation
  • From: Peter Thiemann
• [pept:100] ETAPS 2003 - call for submissions
  • From: etaps03
• [pept:101] (fwd) PhD studies in France
  • From: Olivier Danvy (by way of Robert Glueck)
• [pept:102] ASIA-PEPM 2002 / FLOPS 2002
  • From: Mizuhito Ogawa (by way of RobertGlueck)
• [pept:103] CfP PADL'03
  • From: Dr. Gopal Gupta" (by way of RobertGlueck)
• [pept:104] ETAPS 2004: CALL FOR SATELLITE EVENTS
  • From: ETAPS 2004
• [pept:105] CFP: ASIA-PEPM/FLOPS
  • From: Kenichi Asai
• [pept:106] CfP: OOPSLA'02 Workshop "Generative Techniques in the Context ofModel Driven Architecture"
  • From: Jorn Bettin" (by way of RobertGlueck)
• [pept:107] FOOL'03: Call for Papers
  • From: ghelli
• [pept:108] Workshop on Rule-Based Programming (RULE'02): Call for Participation
  • From: Eelco Visser
• [pept:109] conf .in Novosibirsk
  • From: Alexandre Zamulin
• [pept:110] FOOL'03: Final Call for Papers
  • From: ghelli
• [pept:111] ETAPS 2003 - call for submissions
  • From: Konferencja ETAPS'03
• [pept:112] FOOL'03: Deadline extension
  • From: ghelli
• [pept:113] ETAPS 2004: CALL FOR SATELLITE EVENTS
  • From: ETAPS 2004
• [pept:114] CfP Brazilian Symposium on Programming Languages
  • From: Marco Tulio de Oliveira Valente (by way of RobertGlueck)
• [pept:115] special issue with coverage of partial evolution
  • From: Ralf Laemmel
• [pept:116] PSI03
  • From: Alexandre Zamulin
• [pept:117] [CFP] PEPM'03
  • From: Eijiro Sumii
• [pept:118] 8 Assistant/Associate Professorships at the IT University of Copenhagen
  • From: Camilla Jensen
• [pept:119] (fwd) PhD position at Roskilde, Denmark
  • From: Torben AEgidius Mogensen (by way of Robert Glueck)
• [pept:120] (fwd) Research Grants at UPM, Madrid, Spain
  • From: by way of Robert Glueck
• [pept:121] (fwd) RISC-Linz PhD Studies 2003/2004
  • From: Peter Paule (by way of RobertGlueck)
• [pept:122] HOSC call for papers about Krivine's abstract machine
  • From: Olivier Danvy
• [pept:123] GPCE 03
  • From: Akos Ledeczi
• [pept:124] ETAPS03 - grants
  • From: Konferencja ETAPS'03
• [pept:125] 8th Estonian Winter School in Comp. Sci., Call for Partic.
  • From: Tarmo Uustalu
• [pept:126] Final CFP for PSI'03
  • From: Alexandre Zamulin
• [pept:127] ETAPS 2003 - call for participation
  • From: Konferencja ETAPS'03
• [pept:128] (fwd) CS Theory positions
  • From: Foundations of Computing (by way of RobertGlueck)
• [pept:129] CfP PEPM'0
  • From: Michael Leuschel (by way of Robert Glueck)
• [pept:130] CfP Automated Software Engineering 2003
  • From: Perry Alexander (by way of Robert Glueck)
• [pept:131] CfP WFLP'03 Functional and (Constraint) Logic Programming
  • From: German Vidal (by way of Robert Glueck)
• [pept:132] CFP: ICFP 2003
  • From: Christian Schulte
• [pept:133] ETAPS 2003 - call for participation
  • From: Konferencja ETAPS'03
• [pept:134] Software Variability Management workshop: Call For Participation
  • From: Jilles van Gurp" (by way of Robert Glueck)
• [pept:135] PSI'03 deadline extension
  • From: Alexandre Zamulin
• [pept:136] PhD Scholarships at the IT University of Copenhagen
  • From: Camilla Jensen
• [pept:137] CfP SCAM'03 Source Code Analysis and Manipulation
  • From: Mark Harman (Brunel)" (by way of RobertGlueck)
• [pept:138] CfP WCL'03 Workshop on Composition Languages
  • From: Markus Lumpe (by way of Robert Glueck)
• [pept:139] Postdoctoral Research Scientist (Opening)
  • From: Walid Taha (by way of Robert Glueck)
• [pept:140] Fast Partial Evaluation of Pattern Matching in Strings
  • From: Olivier Danvy
• [pept:141] Announcement of PEPM'03
  • From: Michael Leuschel
• [pept:142] GPCE 03 CFC
  • From: Akos Ledeczi
• [pept:143] Reverse Engineering call for papers - WCRE 2003
  • From: Working Conference on Reverse Engineering
• [pept:144] CfP MASPEGHI'03 Managing Specialization/Generalization Hierarchies
  • From: Petko Valtchev (by way of Robert Glueck)
• [pept:145] FLOPS2004 First Call for Papers
  • From: Yukiyoshi Kameyama
• [pept:146] Call for Participation PEPM'03
  • From: Michael Leuschel
• [pept:147] CfP LOPSTR'03
  • From: Wim Vanhoof (by way of Robert Glueck)
• [pept:148] ETAPS 2004: FIRST CALL FOR SUBMISSIONS
  • From: ETAPS 2004
• [pept:149] [lopstr] LOPSTR 2003 (Call for Abstracts)
  • From: Wim Vanhoof (by way of Robert Glueck)
• [pept:150] CfP ACM SAC'04: Programming Languages Track
  • From: Marjan Mernik (by way of Robert Glueck)
• [pept:151] Special Symp. on The Unusual Effectiveness of Logic in Computer Science
  • From: Moshe Vardi
• [pept:152] CFP - 4th International Workshop on the Implementation of Logics
  • From: Moshe Vardi
• [pept:153] CFP - LPAR'03 - September 22-26th, 2003, Almaty, Kazakhstan
  • From: Moshe Vardi
• [pept:154] ICFP 2003 / PLI 2003 -- early registration ends tomorrow (July 30)!
  • From: Olin Shivers (by way of Eijiro Sumii)
• [pept:155] GPCE'03 Call for Participation - Generative Programming andComponent Engineering
  • From: Krzysztof Czarnecki (by way of Robert Glueck)
• [pept:156] CfP SFEDL'04 Semantic Foundations of Engineering Design Languages
  • From: by way of Robert Glueck
• [pept:157] (fwd) Job openings in Amsterdam in Software Engineering
  • From: Ralf Laemmel (by way of Robert Glueck)
• [pept:158] GPCE 03 Call for Participation
  • From: Akos Ledeczi
• [pept:159] CfP ETAPS'004: FIRST CALL FOR SUBMISSIONS
  • From: ETAPS 2004 (by way of Robert Glueck)
• [pept:160] Fundamenta Informaticae: Special Issue on Program Transformation
  • From: Maurizio Proietti
• [pept:161] NSF Workshop -- Science of Design: Software-Intensive Systems
  • From: Kevin Sullivan (by way of Robert Glueck)
• [pept:162] Research Positions at the Tech Univ of Valencia
  • From: Jose Hernandez-Orallo (by way of Robert Glueck)
• [pept:163] FLOPS deadline extension
  • From: Yukiyoshi Kameyama
• [pept:164] Position Looking to hire functional programmer
  • From: Satnam Singh (by way of Robert Glueck)
• [pept:165] FLOPS 2004: final call for papers (deadline extension)
  • From: Aart Middeldorp
• [pept:166] 9th Est. Winter School in Comp. Sci., 1st Call for Partic.
  • From: Tarmo Uustalu
• [pept:167] Call for papers: Fourth International Workshop on Reduction Strategies in Rewriting and Programming (WRS'04)
  • From: Sergio Antoy
• [pept:168] Postdoc and PhD positions at CWI, Amsterdam
  • From: (by way of Robert Glueck)
• [pept:169] ETAPS 2005: CALL FOR SATELLITE EVENT PROPOSALS
  • From: Massimo Felici
• [pept:170] CfP SCAM'04 Source Code Analysis and Manipulation
  • From: Mark Harman (Brunel)" (by way of Robert Glueck)
• [pept:171] New PhD Positions Dept of Computing Science, Chalmers University, Sweden
  • From: Reiner Haehnle (by way of Robert Glueck)
• [pept:172] Call for papers: Fourth International Workshop on Reduction Strategies in Rewriting and Programming (WRS'04)
  • From: Sergio Antoy
• [pept:173] LOPSTR+PEPM+PPDP+SAS 2004: Last Call for Workshop Proposals
  • From: Fausto Spoto (by way of Robert Glueck)
• [pept:174] CfP Cases'04 Compilers, Architecture and Synthesis for Embedded Systems
  • From: by way of Robert Glueck
• [pept:175] WST 2004 -- Call for Contributions
  • From: Aart Middeldorp
• [pept:176] Pos Research Fellow vacancy at UNU-IIST / Macao
  • From: Chris George (by way of Robert Glueck)
• [pept:177] Doctoral Programme, IJCAR 2004
  • From: Ulrike Sattler (by way of Robert Glueck)
• [pept:178] ITRS'04 - Preliminary Call for Papers
  • From: Ferruccio Damiani
• [pept:179] Second CFP: GPCE'04 -- Generative Programming and Component Engineering
  • From: Eelco Visser
• [pept:180] Fundamenta Informaticae: Special Issue on Program Transformation (reminder)
  • From: Maurizio Proietti
• [pept:181] CfP LOPSTR04, PEPM04, PPDP04, SAS04 and affiliated workshops
  • From: Fausto Spoto (by way of Robert Glueck)
• [pept:182] CfP PEPM'04
  • From: Peter Sestoft (by way of Robert Glueck)
• [pept:183] Final call for papers, WRS'04, submission deadline (firm) March 17
  • From: Sergio Antoy
• [pept:184] CfP 1st European Lisp and Scheme Workshop
  • From: Pascal Costanza (by way of Robert Glueck)
• [pept:185] ICFEM 2004 -- Call for Papers, Tutorials, Workshops, Seattle, USA
  • From: ICFEM 2004
• [pept:186] Concur 2004: Call for Papers
  • From: Concur 2004
• [pept:187] Positions at Technical University of Denmark
  • From: Hanne Riis Nielson (by way of Robert Glueck)
• [pept:188] CONCUR 2004: Final Call for Papers - deadline approaching
  • From: Concur 2004
• [pept:189] ITRS'04: EXTENDED DEADLINE
  • From: Ferruccio Damiani
• [pept:190] NASSLLI04 Call for Participation
  • From: Marcus Kracht
• [pept:191] CfP 6th GPCE Young Researchers Workshop 2004
  • From: Matt Rutherford (by way of Robert Glueck)
• [pept:192] [CFP] 2004 Scheme Workshop
  • From: oscar waddell
• [pept:193] ITRS'04: FURTHER DEADLINE EXTENSION
  • From: Ferruccio Damiani
• [pept:194] AFP 2004 - Call for Participation
  • From: afp04
• [pept:195] Call for Participation: Fourth International Workshop on Reduction Strategies in Rewriting and Programming (WRS'04)
  • From: Sergio Antoy
• [pept:196] Final CFP: Workshop on Software Analysis and Development for Pervasive Systems (SONDA 2004)
  • From: SONDA 2004
• [pept:197] NASSLLI 04: Deadline for Registration May 31!
  • From: Marcus Kracht
• [pept:198] PEPM'04 preliminary programme ready
  • From: Peter Sestoft (by way of Robert Glueck)
• [pept:199] CFP: MetaOCaml Workshop
  • From: Walid Taha
• [pept:200] Invitation to ICSM 2004, the 20th International Conference on Software Maintenance
  • From: Software Maintenance
• [pept:201] PEPM'04
  • From: Nevin Heintze (by way of Robert Glueck)
• [pept:202] CONCUR 2004: First call for participation
  • From: Concur 2004
• [pept:203] CfP MetaOCaml Workshop / EXTENDED submission deadline
  • From: Robert Glueck
• [pept:204] Call for papers: CALCO 2005 in Swansea
  • From: Markus Roggenbach
• [pept:205] CONCUR 2004: Final call for participation
  • From: Concur 2004
• [pept:206] NSF Support for students attending MetaOCaml Tutorial and Workshop (Deadline September 5th, 2004)
  • From: Walid Taha (by way of Robert Glueck)
• [pept:207] MetaOCaml 3.08
  • From: Cristiano Calcagno (by way of Robert Glueck)
• [pept:208] ETAPS 2005: CALL FOR SUBMISSIONS
  • From: ETAPS 2005 Organisation
• [pept:209] CfP CC'2005 Compiler Construction
  • From: Rastislav Bodik" (by way of Robert Glueck)
• [pept:210] CfP Bytecode05, Edinburgh, Scotland, UK, April 9, 2005
  • From: Fausto Spoto (by way of Robert Glueck)
• [pept:211] CfP COCV'05 Compiler Optimization Meets Compiler Verification
  • From: Jens Knoop (by way of Robert Glueck)
• [pept:212] Nevanlinna prize
  • From: Moshe Vardi
• [pept:213] 2nd CFP: CALCO 2005
  • From: Markus Roggenbach
• [pept:214] CfP RULE'05 International Workshop on Rule-Based Programming
  • From: Horatiu Cirstea (by way of Robert Glueck)
• [pept:215] CFP: Trustworthy Global Computing '05
  • From: Davide Sangiorgi
• [pept:216] CALCO 2005 - 3rd cfp
  • From: Markus Roggenbach
• [pept:217] ICFP 2005 - Call for Papers
  • From: Benjamin Pierce
• [pept:218] Trustworthy Global Computing
  • From: tgc
• [pept:219] Cfp : ICSM 2005, the 21st International Conference on Software Maintenance
  • From: Software Maintenance
• [pept:220] Final CFP: CALCO 2005
  • From: Markus Roggenbach
• [pept:221] A Special Programme on Logic and Algorithm
  • From: Moshe Vardi
• [pept:222] PhD Position in Technical University of Valencia (Spain)
  • From: Santiago Escobar (by way of Robert Glueck)
• [pept:223] ETAPS 2005: Second Call for Participation
  • From: David Aspinall
• [pept:224] ICFP 2005 - Final Call for Papers
  • From: Benjamin C. Pierce
• [pept:225] Cfp : ICSM 2005 submission deadline extension
  • From: Software Maintenance
• [pept:226] Express'05 First CFP
  • From: Iain Phillips
• [pept:227] CfP: Curry and Functional Logic Programming 2005
  • From: Michael Hanus
• [pept:228] Final CfP GPCE'05 Generative Programming and Component Engineering
  • From: Eelco Visser (by way of Robert Glueck)
• [pept:230] CfP The Second MetaOCaml Workshop
  • From: Kedar Swadi (by way of Robert Glueck)
• [pept:229] PAT2005 Summer School Announcement
  • From: Jesper Andersen
• [pept:231] ACM Transactions on Computational Logic - Call for Nominations
  • From: Moshe Vardi
• [pept:232] CALCO: 1st call for Participation
  • From: Markus Roggenbach
• [pept:233] PhD in aspect-oriented languages
  • From: Oege de Moor
• [pept:234] [esecfse05pub] PASTE 2005 workshop deadline June 1
  • From: Cristóvão Oliveira
• [pept:235] The 17th Nordic Workshop on Programming Theory (NWPT'05)
  • From: Jesper Andersen
• [pept:236] [Scheme Steering Committee announcements] Anton von Straatenappointed to Scheme Editors Committee
  • From: Mitchell Wand
• [pept:237] ICFP 2005 - Accepted papers
  • From: Benjamin Pierce
• [pept:238] FLoC 2006: Call For Workshop Proposals
  • From: Kreutzer + Schweikardt
• [pept:239] ICFP 2005 - Call for Participation
  • From: Dariusz Biernacki
• [pept:240] CfP TFP'05: Third & Final Call for Papers
  • From: Kevin Hammond (by way of Robert Glueck)
• [pept:241] [esecfse05pub] PASTE 2005 call for participation: Program Analysisfor Software Tools & Engineering
  • From: Cristóvão Oliveira
• [pept:242] Call for participation in ICSM 2005, the 21st International Conference on Software Maintenance
  • From: Software Maintenance
• [pept:243] PEPM 2006 Call For Papers
  • From: John Hatcliff
• [pept:244] Information and Computation - Open-Access Experiment
  • From: Moshe Vardi
• [pept:245] Last call for registration: GPCE'05 (deadline 2 september)
  • From: Robert Glueck
• [pept:246] UPDATE: NWPT05 Annoucenment
  • From: Jesper Andersen
• [pept:247] moving to mailman on kb.ecei.tohoku.ac.jp
  • From: Eijiro Sumii