Mail Thread 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: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: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: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: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
- [pept:245] Last call for registration: GPCE'05 (deadline 2 september),
Robert Glueck
- [pept:246] UPDATE: NWPT05 Annoucenment,
Jesper Andersen
- [pept:247] moving to mailman on kb.ecei.tohoku.ac.jp,
Eijiro Sumii
Mail converted by MHonArc 2.5.14