Mail Index
- [pept:1] test
- [pept:2] another test
- [pept:3] the last test...
- [pept:4] CL2000: 3rd call for papers
- [pept:5] Applied Semantics Summer School APPSEM'2000
- [pept:6] CL2000: deadline postponed to February 21st
- [pept:7] Opening: Research Fellow in Model Checking and Program Analysis
- [pept:8] CfP Conf on Functional Programming (ICFP2000)
- [pept:9] PH.D. grant, DIKU, UNIVERSITY OF COPENHAGEN
- [pept:10] Applied Semantics Summer School APPSEM'2000
- [pept:11] FME 2001: Call for Papers
- [pept:12] MPC2000: call for participation
- From: Jose Bernardo Barros
- [pept:13] CfP Generative and Component-Based Software Engineering
- [pept:14] MPC2000 - 2nd Call for Participation
- [pept:15] CfP GCSE Young Researchers Workshop 2000
- From: Kai Boellert (by way of Robert Glueck)
- [pept:16] CFP: Workshop on Program Generation
- [pept:17] FME 2001: Call for Papers
- [pept:18] SAIG Deadline Extended to June 5th
- [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
- [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
- [pept:25] ANNOUNCE: Availability of DMS Software Reengineering Toolkt
- [pept:26] ETAPS 2001: Deadline Approaching
- [pept:27] PADO-II CFP -- reminder
- From: Symposium on Program as Data Objects
- [pept:28] CFP: JFP on SAIG
- [pept:29] extended deadline for PADO-II
- From: Symposium on Program as Data Objects
- [pept:30] Static Analysis Symposium 2001, Paris : 1st CfP
- [pept:31] RelMiS 2001 --- Call for Papers
- [pept:32] Call for Participation (Continuations Workshop CW'01)
- [pept:33] IEEE Conference Software Maint. Italy,Florence, ICSM2001
- [pept:34] ETAPS 2001 FIRST CALL FOR PARTICIPATION
- [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]
- [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
- [pept:39] CfP Reflection 2001
- From: by way of Robert Glueck
- [pept:40] SAS'01 : Submission Deadline Extension
- [pept:41] ETAPS 2001: SECOND CALL FOR PARTICIPATION
- [pept:42] CALL FOR PAPERS -- JOURNAL OF FUNCTIONAL PROGRAMMING
- [pept:43] PEPM'02, Preliminary Call for Papers
- [pept:44] CFP: SAIG'01
- [pept:45] SAS'01 Call For Participation
- [pept:46] FINAL CFP: SAIG'01
- [pept:47] SAIG'01 Extended Deadline
- [pept:48] CfP IFL 2001 call for papers
- From: by way of Robert Glueck
- [pept:49] SAS'01: Early registration 15th June
- [pept:50] CfP PEPM'02
- From: Martin Grohe (by way of Robert Glueck)
- [pept:51] CFP: PEPM'02
- [pept:52] 30th SPRING SCHOOL THEORETICAL COMPUTER SCIENCE
- [pept:53] SAIG'01 Prelim Program
- [pept:54] IEEE Conf.on Software Maintenance Italy,Florence, ICSM2001
- [pept:55] CfP OOPSLA'01 Workshop on Generative Programming
- From: Krzysztof Czarnecki (by way of RobertGlueck)
- [pept:56] Stratego 0.6
- [pept:57] FME'2002 CFP
- From: Lars-Henrik Eriksson
- [pept:58] LOPSTR'01 - Submission Deadline Extension (fwd)
- [pept:59] PEPM'02: Final Call for Papers
- [pept:60] ETAPS 2003: CALL FOR SATELLITE EVENT PROPOSALS
- [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
- [pept:64] 30th Spring School Theorical Computer Science - Early Registration
- [pept:65] PEPM'02 -- call for participation
- [pept:66] CFP : ASIA-PEPM 2002
- [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
- [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
- [pept:74] PhD Fellowship in Valencia, Spain
- From: Maria Alpuente (by way of Robert Glueck)
- [pept:75] CFP Generators and Components (GCSE/SAIG'02)
- [pept:76] Call for papers: TIP'02
- [pept:77] Call for Participation: Strategies for Program Transformation; Stratego Tutorial at ETAPS
- [pept:78] Final CFP : FLOPS'02 / ASIA-PEPM'02
- [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
- [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
- [pept:83] Stratego 0.7
- [pept:84] LAST CALL FOR PAPERS: Generators and Components (GCSE/SAIG'02)
- [pept:85] WFLP2002 - deadline EXTENSION
- From: WFLP2002 Organizing Committee (by way ofRobert Glueck)
- [pept:86] CFP: PLI-Workshop on Rule-Based Programming
- [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
- [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
- [pept:94] Strafunski: Major New Edition
- [pept:95] SoSyM - New Intl. Journal on Software & System Modeling
- [pept:96] WFLP2002: Call for PARTICIPATION
- From: Marco Comini (by way of Robert Glueck)
- [pept:97] Final CFP / Deadline Extension: RULE'02
- [pept:98] LOPSTR'02 - Call For Papers
- From: Michael Leuschel (by way of Robert Glueck)
- [pept:99] TIP'02: Call for Participation
- [pept:100] ETAPS 2003 - call for submissions
- [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
- [pept:105] CFP: ASIA-PEPM/FLOPS
- [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
- [pept:108] Workshop on Rule-Based Programming (RULE'02): Call for Participation
- [pept:109] conf .in Novosibirsk
- [pept:110] FOOL'03: Final Call for Papers
- [pept:111] ETAPS 2003 - call for submissions
- From: Konferencja ETAPS'03
- [pept:112] FOOL'03: Deadline extension
- [pept:113] ETAPS 2004: CALL FOR SATELLITE EVENTS
- [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
- [pept:116] PSI03
- [pept:117] [CFP] PEPM'03
- [pept:118] 8 Assistant/Associate Professorships at the IT University of Copenhagen
- [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
- [pept:123] GPCE 03
- [pept:124] ETAPS03 - grants
- From: Konferencja ETAPS'03
- [pept:125] 8th Estonian Winter School in Comp. Sci., Call for Partic.
- [pept:126] Final CFP for PSI'03
- [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
- [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
- [pept:136] PhD Scholarships at the IT University of Copenhagen
- [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
- [pept:141] Announcement of PEPM'03
- [pept:142] GPCE 03 CFC
- [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
- [pept:146] Call for Participation PEPM'03
- [pept:147] CfP LOPSTR'03
- From: Wim Vanhoof (by way of Robert Glueck)
- [pept:148] ETAPS 2004: FIRST CALL FOR SUBMISSIONS
- [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
- [pept:152] CFP - 4th International Workshop on the Implementation of Logics
- [pept:153] CFP - LPAR'03 - September 22-26th, 2003, Almaty, Kazakhstan
- [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
- [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
- [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
- [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)
- [pept:166] 9th Est. Winter School in Comp. Sci., 1st Call for Partic.
- [pept:167] Call for papers: Fourth International Workshop on Reduction Strategies in Rewriting and Programming (WRS'04)
- [pept:168] Postdoc and PhD positions at CWI, Amsterdam
- From: (by way of Robert Glueck)
- [pept:169] ETAPS 2005: CALL FOR SATELLITE EVENT PROPOSALS
- [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)
- [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
- [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
- [pept:179] Second CFP: GPCE'04 -- Generative Programming and Component Engineering
- [pept:180] Fundamenta Informaticae: Special Issue on Program Transformation (reminder)
- [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
- [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
- [pept:186] Concur 2004: Call for Papers
- [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
- [pept:189] ITRS'04: EXTENDED DEADLINE
- [pept:190] NASSLLI04 Call for Participation
- [pept:191] CfP 6th GPCE Young Researchers Workshop 2004
- From: Matt Rutherford (by way of Robert Glueck)
- [pept:192] [CFP] 2004 Scheme Workshop
- [pept:193] ITRS'04: FURTHER DEADLINE EXTENSION
- [pept:194] AFP 2004 - Call for Participation
- [pept:195] Call for Participation: Fourth International Workshop on Reduction Strategies in Rewriting and Programming (WRS'04)
- [pept:196] Final CFP: Workshop on Software Analysis and Development for Pervasive Systems (SONDA 2004)
- [pept:197] NASSLLI 04: Deadline for Registration May 31!
- [pept:198] PEPM'04 preliminary programme ready
- From: Peter Sestoft (by way of Robert Glueck)
- [pept:199] CFP: MetaOCaml Workshop
- [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
- [pept:203] CfP MetaOCaml Workshop / EXTENDED submission deadline
- [pept:204] Call for papers: CALCO 2005 in Swansea
- [pept:205] CONCUR 2004: Final call for participation
- [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
- [pept:213] 2nd CFP: CALCO 2005
- [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
- [pept:216] CALCO 2005 - 3rd cfp
- [pept:217] ICFP 2005 - Call for Papers
- [pept:218] Trustworthy Global Computing
- [pept:219] Cfp : ICSM 2005, the 21st International Conference on Software Maintenance
- From: Software Maintenance
- [pept:220] Final CFP: CALCO 2005
- [pept:221] A Special Programme on Logic and Algorithm
- [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
- [pept:224] ICFP 2005 - Final Call for Papers
- [pept:225] Cfp : ICSM 2005 submission deadline extension
- From: Software Maintenance
- [pept:226] Express'05 First CFP
- [pept:227] CfP: Curry and Functional Logic Programming 2005
- [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
- [pept:231] ACM Transactions on Computational Logic - Call for Nominations
- [pept:232] CALCO: 1st call for Participation
- [pept:233] PhD in aspect-oriented languages
- [pept:234] [esecfse05pub] PASTE 2005 workshop deadline June 1
- [pept:235] The 17th Nordic Workshop on Programming Theory (NWPT'05)
- [pept:236] [Scheme Steering Committee announcements] Anton von Straatenappointed to Scheme Editors Committee
- [pept:237] ICFP 2005 - Accepted papers
- [pept:238] FLoC 2006: Call For Workshop Proposals
- From: Kreutzer + Schweikardt
- [pept:239] ICFP 2005 - Call for Participation
- [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
- [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
- [pept:244] Information and Computation - Open-Access Experiment
- [pept:245] Last call for registration: GPCE'05 (deadline 2 september)
- [pept:246] UPDATE: NWPT05 Annoucenment
- [pept:247] moving to mailman on kb.ecei.tohoku.ac.jp
Mail converted by MHonArc 2.5.14