Mail Thread Index

• Date Index

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