gmane.comp.lang.mercury.advertisments archive

297 archived articles, newest first (page 2 of 3). Latest articles →

Call for Participation: PLAS 2006
Wed, 10 May 2006 14:19:17 -0400
Steve Zdancewic <[email protected]> • #197
FORMAL METHODS 2006: Call for Participation
Fri, 12 May 2006 14:53:35 -0400 (EDT)
Jeffery Zucker <[email protected]> • #196
Call for Participation: PLAS 2006
Wed, 10 May 2006 14:19:17 -0400
Steve Zdancewic <[email protected]> • #195
CERTSOFT'06: CFP
Mon, 8 May 2006 00:41:36 -0400 (EDT)
Jeffery Zucker <[email protected]> • #194
Express '06: second call for papers
Wed, 03 May 2006 19:00:09 +0100
Iain Phillips <[email protected]> • #193
(2nd CFP) Workshop on Logic-based Methods in Programming Environments
Thu, 27 Apr 2006 09:10:01 +0200
Wim Vanhoof <[email protected]> • #192
Last call for papers: Workshop on Termination (WST 2006)
Mon, 24 Apr 2006 23:22:30 +1000
Harald Sondergaard <[email protected]> • #191
FM'06 - Doctoral Symposium - Call for Submissions
Tue, 18 Apr 2006 10:07:36 -0300
Augusto Sampaio <[email protected]> • #190
Deadline Extension: Mathematically Structured Functional Programming
Tue, 11 Apr 2006 17:59:09 +0100
Conor McBride <[email protected]> • #189
WS-FM 2006 2nd Call For Papers (DEADLINE EXTENDED TO MAY 2)
Tue, 11 Apr 2006 00:04:00 +0200
Mario Bravetti <[email protected]> • #188
Call for papers: PASSWORD'06, co-located with ECOOP'06, Sponsored by IBM research
Fri, 31 Mar 2006 16:59:34 -0800
"Francesco Logozzo" <[email protected]> • #187
(CFP) Workshop on Logic-based Programming Environments
Fri, 31 Mar 2006 13:44:18 +0200
Wim Vanhoof <[email protected]> • #186
Express '06: first call for papers
Wed, 22 Mar 2006 19:44:08 +0000
Iain Phillips <[email protected]> • #185
CFP2: Mathematically Structured Functional Programming
Tue, 21 Mar 2006 17:33:35 +0000
Conor McBride <[email protected]> • #184
Formal Methods 2006: Call for Demos (Commercial and Research) and Posters
Mon, 20 Mar 2006 20:21:47 -0500
Marsha Chechik <[email protected]> • #183
(CFP) Workshop on Logic-based Methods in Programming Environments
Wed, 15 Mar 2006 10:14:15 +0100
[email protected] • #182
FM'06 Doctoral Symposium
Fri, 10 Mar 2006 13:20:19 -0300
Augusto Sampaio <[email protected]> • #181
[TYPES/announce] Call for Posters - ICLP 2006 - Deadline: March, 14
Tue, 7 Mar 2006 14:11:31 +0100 (CET)
A Serebrenik <[email protected]> • #180
Call for papers: Workshop on Termination (WST 2006)
Thu, 2 Mar 2006 02:41:20 +1100 (EST)
Harald Sondergaard <[email protected]> • #179
CFP: Mathematically Structured Functional Programming
Thu, 23 Feb 2006 21:22:01 +0000
Conor McBride <[email protected]> • #178
[TYPES/announce] Final CFP: Programming Languages and Analysis for Security (PLAS) 2006
Wed, 22 Feb 2006 11:31:40 -0500
Steve Zdancewic <[email protected]> • #177
[TYPES/announce] [ICLP'06] Deadlines EXTENDED
Tue, 14 Feb 2006 07:42:05 +0100 (CET)
A Serebrenik <[email protected]> • #176
[ICLP'06] Reminder: Deadline for Abstracts - February 14
Thu, 9 Feb 2006 20:52:50 +0100 (CET)
A Serebrenik <[email protected]> • #175
[TYPES/announce] [ICLP'06] - Last Call for Papers - Deadline for Abstracts: February 14
Wed, 8 Feb 2006 08:34:51 +0100 (CET)
A Serebrenik <[email protected]> • #174
[TYPES/announce] 2nd CFP: Programming Languages and Analysis for Security (PLAS) 2006
Mon, 23 Jan 2006 13:19:32 -0500
Steve Zdancewic <[email protected]> • #173
CFP: Multi-Agent Systems and Simulation 2006 (MAS&S'06)
Mon, 9 Jan 2006 23:28:33 +0100
"Giancarlo Fortino" <[email protected]> • #172
AMAST 2006 2nd Call for Papers
Tue, 10 Jan 2006 00:39:15 +0200
Varmo Vene <[email protected]> • #171
MPC 2006 2nd Call for Papers
Sat, 07 Jan 2006 13:39:26 +0200
Tarmo Uustalu <[email protected]> • #170
CFP: Programming Languages and Analysis for Security (PLAS) 2006
Thu, 05 Jan 2006 10:54:17 -0500
Steve Zdancewic <[email protected]> • #169
SPACE 2006: Call for Participation
Tue, 06 Dec 2005 18:05:18 +0000
Richard Jones <[email protected]> • #168
SPACE 2006: Call for Participation
Tue, 06 Dec 2005 18:05:18 +0000
Richard Jones <[email protected]> • #167
[PT] SPACE 2006: Call for Participation
Tue, 06 Dec 2005 18:05:18 +0000
Richard Jones <[email protected]> • #166
SPACE 2006: Call for Participation
Tue, 06 Dec 2005 18:05:18 +0000
Richard Jones <[email protected]> • #165
Call for Participation: FOOL/WOOD 2006
Fri, 2 Dec 2005 06:47:10 -0800
Kathleen Fisher <[email protected]> • #164
[PT] Call for Participation: FOOL/WOOD 2006
Fri, 2 Dec 2005 06:47:10 -0800
Kathleen Fisher <[email protected]> • #163
MPC 2006 First Call for Papers
Wed, 16 Nov 2005 22:21:16 +0200
Tarmo Uustalu <[email protected]> • #162
Call For Papers - ICLP 2006
Sun, 13 Nov 2005 19:51:42 +0100 (CET)
A Serebrenik <[email protected]> • #161
REMINDER: Proposals for workshops (ICFP '06) due this Friday!
Mon, 7 Nov 2005 09:59:06 -0600
Matthias Blume <[email protected]> • #160
POPL 2006 Call for Participation
Fri, 4 Nov 2005 13:10:23 -0500
"David Walker" <dpw-Mr68eyIdVKO79RPNQ/[email protected]> • #159
VVSS2005 - Call for Participation and Posters
Fri, 28 Oct 2005 15:15:06 +0200
"Punter, H.T." <[email protected]> • #158
*** ICFP '06 CALL FOR WORKSHOP PROPOSALS ***
Fri, 23 Sep 2005 09:42:11 -0500
Matthias Blume <[email protected]> • #157
post-doc job in functional programming
Thu, 28 Jul 2005 17:16:27 +0100
Colin Runciman <[email protected]> • #156
WLPE 2005: Call for Participation
Wed, 27 Jul 2005 17:25:38 +0200 (CEST)
A Serebrenik <[email protected]> • #155
[ICLP 2006] Call for WORKSHOP proposals
Fri, 22 Jul 2005 18:02:22 +0200 (CEST)
A Serebrenik <[email protected]> • #154
Early registration: GPCE'05 -- Generative Programming and Component Engineering
Tue, 19 Jul 2005 14:58:07 +0200
Eelco Visser <[email protected]> • #153
WS-FM 2005 Call For Participation
Wed, 20 Jul 2005 10:46:28 +0200 (CEST)
Mario Bravetti <[email protected]> • #152
Associate researcher position in Constraint Programming
Sat, 16 Jul 2005 02:06:40 +0200
Arno <[email protected]> • #151
Express'05 - Call for Participation
Tue, 12 Jul 2005 17:17:43 +0100
Iain Phillips <[email protected]> • #150
NEW DEADLINE Call For Papers: Workshop on Logic-based methods in Programming Environments (in conjunction with ICLP'05)
Sun, 3 Jul 2005 11:25:25 +0200 (CEST)
A Serebrenik <[email protected]> • #149
FINAL Call For Papers: Workshop on Logic-based methods in Programming Environments (in conjunction with ICLP'05)
Tue, 28 Jun 2005 17:31:52 +0200 (CEST)
A Serebrenik <[email protected]> • #148
ICFP 2005 - Call for Participation
Fri, 1 Jul 2005 21:36:36 +0200
Dariusz Biernacki <[email protected]> • #147
CHR 2005 2nd Call for Papers
Mon, 27 Jun 2005 14:08:34 +0200
Thom Fruehwirth <[email protected]> • #146
WS-FM 2005 Call For Tools
Fri, 24 Jun 2005 17:31:21 +0200 (CEST)
Mario Bravetti <[email protected]> • #145
PADL 2006 -- CALL FOR PAPERS
Tue, 14 Jun 2005 12:10:31 -0600
Logic Programming Rsrch Association <[email protected]> • #144
SECOND Call For Papers: Workshop on Logic-based methods in Programming Environments (in conjunction with ICLP'05)
Mon, 13 Jun 2005 13:52:22 +0200 (CEST)
A Serebrenik <[email protected]> • #143
ICFP 2005 - Accepted papers
Fri, 10 Jun 2005 14:26:30 -0400
Benjamin Pierce <[email protected]> • #142
WCB05 Call for Papers
Tue, 31 May 2005 13:00:40 +0200
"Rolf Backofen" <[email protected]> • #141
CHR 2005 Call for Papers
Tue, 31 May 2005 09:34:59 +0200
Thom Fruehwirth <[email protected]> • #140
Call for papers: MoveLog05
Tue, 31 May 2005 09:07:22 -0400
James Lipton <[email protected]> • #139
INAP 2005 - Call for Papers
Tue, 31 May 2005 11:09:01 +0200
Armin Wolf <[email protected]> • #138
CFV'05 Call for Papers
Mon, 23 May 2005 00:51:29 -0400 (EDT)
Miroslav Velev <[email protected]> • #137
PhD in aspect-oriented languages
Mon, 23 May 2005 13:15:52 +0100 (BST)
Oege de Moor <[email protected]> • #136
CALCO: 1st call for Participation
Tue, 17 May 2005 15:04:56 +0100
Markus Roggenbach <[email protected]> • #135
PPDP 2005 Call for Participation
Wed, 18 May 2005 00:02:23 -0400 (EDT)
Amy Felty <[email protected]> • #134
CALCO: 1st call for Participation
Tue, 17 May 2005 15:04:56 +0100
Markus Roggenbach <[email protected]> • #133
CALCO: 1st call for Participation
Tue, 17 May 2005 15:04:56 +0100
Markus Roggenbach <M.Roggenbach-QvkbJbr/[email protected]> • #132
Call For Papers: Workshop on Logic-based methods in Programming Environments (in conjunction with ICLP'05)
Tue, 10 May 2005 15:44:48 +0200 (CEST)
A Serebrenik <[email protected]> • #131
Assistant Positions in Software Component Technology, ETH Zurich, Switzerland
Fri, 29 Apr 2005 15:37:04 +0200
Peter Müller <[email protected]> • #130
Express'05 Second CFP
Mon, 25 Apr 2005 12:04:37 +0100
Iain Phillips <[email protected]> • #129
CFV'05 Call for Papers
Thu, 14 Apr 2005 18:29:57 -0400 (EDT)
Miroslav Velev <[email protected]> • #128
WS-FM 2005 2nd Call For Papers (submission deadline extended to may 6)
Wed, 13 Apr 2005 12:28:25 +0200 (CEST)
Mario Bravetti <[email protected]> • #127
Post-doc position in Martin Odersky's group, EPFL, Switzerland
12 Apr 2005 19:07:38 +0200
Martin Odersky <[email protected]> • #126
Constraint Programming Book Page Update
Wed, 06 Apr 2005 13:55:50 +0200
Thom Fruehwirth <[email protected]> • #125
Summer School on Reliable Computing -- Revised Registration Date
Thu, 31 Mar 2005 12:04:21 +0000
Steve Zdancewic <[email protected]> • #124
Constraint Handling Rules Web-Pages moved
Mon, 21 Mar 2005 11:49:15 +0100
Thom Fruehwirth <[email protected]> • #123
The POPLmark Challenge
Thu, 17 Mar 2005 10:04:30 +0000
Peter Sewell <[email protected]> • #122
Express'05 First CFP
Wed, 16 Mar 2005 19:55:53 +0000
Iain Phillips <[email protected]> • #121
ICFP 2005 - Final Call for Papers
Thu, 10 Mar 2005 10:43:39 -0500
"Benjamin C. Pierce" <[email protected]> • #120
Summer School on Reliable Computing: Call for Participation
Wed, 02 Mar 2005 15:27:48 -0500
Steve Zdancewic <[email protected]> • #119
JLAP Special Issue on Theory and Foundations of Programming Language Interference and Dependence
Sat, 19 Feb 2005 10:00:44 +0100
Roberto Giacobazzi <[email protected]> • #118
Announcement: APPSEM-II Summer School, Sep 8-12
Thu, 17 Feb 2005 21:43:39 +0100
Hans-Wolfgang Loidl <[email protected]> • #117
Book announcement: Advanced Topics in Types and Programming Languages
Wed, 16 Feb 2005 21:47:20 -0500
Benjamin Pierce <[email protected]> • #116
PPDP 2005 Submission Deadline Extended to February 22
Tue, 15 Feb 2005 21:35:55 -0500 (EST)
Amy Felty <[email protected]> • #115
W(C)LP 2005 - Call for Participation
Wed, 09 Feb 2005 16:01:57 +0100
Armin Wolf <[email protected]> • #114
PPDP 2005 Second Call for Papers
Fri, 21 Jan 2005 11:55:23 -0500 (EST)
Amy Felty <[email protected]> • #113
Constraint Handling Rules (CHR) News
Mon, 17 Jan 2005 09:09:39 +0100
Marc Meister <[email protected]> • #112
Constraint Handling Rules (CHR) News
Mon, 17 Jan 2005 09:09:39 +0100
Marc Meister <[email protected]> • #111
CfC: GPCE'05 - Generative Programming and Component Engineering
Thu, 06 Jan 2005 14:41:32 +0100
Eelco Visser <[email protected]> • #110
ICFP 2005 - Call for Papers
Sat, 18 Dec 2004 13:07:58 -0500
Benjamin Pierce <bcpierce-AUdZhnw8N4cxWrJ6OUAvIIGz1MIsIsCfjEKvCNKcL75MqUckJh7upg@public.gmane.org> • #109
Bytecode 2005: Last Call for Papers
Thu, 16 Dec 2004 11:14:01 +0100
Fausto Spoto <[email protected]> • #108
TLDI'05 Call for Participation
Wed, 8 Dec 2004 10:37:07 -0500
"David Walker" <[email protected]> • #107
CHAIR POSTS - UNIVERSITY OF DURHAM
Mon, 06 Dec 2004 11:36:05 +0000
Susan Bates <[email protected]> • #106
Second call for papers: BYTECODE 2005
Fri, 26 Nov 2004 18:34:15 +0100
Fausto Spoto <[email protected]> • #105
Symposium on Principles of Programming Languages 2005: Call for Participation
Fri, 26 Nov 2004 16:35:17 -0500
"David Walker" <[email protected]> • #104
W(C)LP 2005 -- Extended Call For Poster Proposals and System Demos
Mon, 22 Nov 2004 18:09:22 +0100
Armin Wolf <[email protected]> • #103
Call for Papers, AIOOL'05, Paris 21st January 2005
Mon, 15 Nov 2004 13:15:00 +0100 (CET)
Francesco Logozzo <Francesco.Logozzo-FQQ9efcoiYwsbtoZkzpclZR9RA28CKYe@public.gmane.org> • #102
PPDP 2005 First Call for Papers
Fri, 05 Nov 2004 16:32:13 -0500 (EST)
Amy Felty <[email protected]> • #101
W(C)LP 2005 - 2nd CfP
Wed, 20 Oct 2004 13:55:30 +0200
Armin Wolf <[email protected]> • #100
CfP: Bytecode05, Edinburgh, Scotland, UK, April 9, 2005
Tue, 05 Oct 2004 10:21:22 +0200
Fausto Spoto <[email protected]> • #99
CfP: 19th Workshop on (Constraint) Logic Programming
Thu, 02 Sep 2004 13:52:38 +0200
Thom Fruehwirth <[email protected]> • #98
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.