gmane.comp.lang.mercury.advertisments archive

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

ACM SIGPLAN Awards deadline extended to 30 January
Tue, 10 Jan 2017 08:30:26 -0800
Satnam Singh <[email protected]> • #298
[LPNMR 2015] REGISTRATION OPEN - Call for Participation (student support grants available)
Sat, 20 Jun 2015 01:23:25 +0200
Francesco Calimeri <[email protected]> • #297
[logical-books] Books for Programming in Logic
Mon, 23 Jun 2014 12:37:18 +0200
Thom Fruehwirth <[email protected]> • #296
Call for papers - VEE'14: 10th ACM Conference on Virtual Execution Environments
Sun, 20 Oct 2013 16:45:45 +0300
Erez Petrank <[email protected]> • #295
Call for Papers - ASE 2013
Thu, 28 Feb 2013 15:41:10 +0100
ASE2013 <[email protected]> • #294
Assistant Position at University of Ulm, Computer Science, Declarative Programming
Thu, 07 Feb 2013 11:35:39 +0100
Thom Fruehwirth <[email protected]> • #293
CiE 2013: The Nature of Computation - final submission by *February 2nd 2013*
Fri, 18 Jan 2013 12:43:24 +0000
CiE Conference Series <[email protected]> • #292
CiE13 call for papers and special awards
Thu, 3 Jan 2013 01:19:19 +0000
CiE Conference Series <[email protected]> • #291
CALL FOR PAPERS CiE 2013: The Nature of Computation
Sun, 25 Nov 2012 23:14:50 +0000
CiE Conference Series <[email protected]> • #290
[CfP] 4th *OPEN* Answer Set Programming Competition 2013 - CALL FOR PARTICIPANTS
Tue, 20 Nov 2012 00:01:59 +0100
Francesco Calimeri <[email protected]> • #289
Computability in Europe 2013: The Nature of Computation
Mon, 15 Oct 2012 23:59:59 +0100
CiE Conference Series <[email protected]> • #288
Re: 4 LECTURERS IN COMPUTER SCIENCE
Tue, 10 Jul 2012 04:38:59 -0700 (PDT)
[email protected] • #287
FINAL CFP: TFPIE 2012
Thu, 10 May 2012 10:01:20 +0200
Peter Achten <[email protected]> • #286
Second call for papers TFPIE 2012
Mon, 02 Apr 2012 14:31:37 +0200
Peter Achten <[email protected]> • #285
CALL FOR INFORMAL PRESENTATIONS: TURING CENTENARY CONFERENCE
Tue, 28 Feb 2012 01:16:59 +0000
CiE Conference Series <[email protected]> • #283
Call for papers - CORCS 2012: The 4th IEEE International Workshop on Component-Based Design of Resource-Constrained Systems
Tue, 14 Feb 2012 16:31:54 +0100
Alexandre David <[email protected]> • #282
Turing Centenary Conference - final submission information for CiE 2012
Fri, 20 Jan 2012 03:43:40 +0000
CiE Conference Series <[email protected]> • #281
TURING CENTENARY CONFERENCE
Sat, 3 Dec 2011 00:15:18 +0000
CiE Conference Series <[email protected]> • #280
Call For Papers: Wodet-3 - Third Workshop on Determinism and Correctness in Parallel Programming
Wed, 30 Nov 2011 17:46:43 -0500
Emery Berger <[email protected]> • #279
Book Announcement - "Apartness and Uniformity: A Constructive Development"
Wed, 19 Oct 2011 22:15:01 +0100
CiE Conference Series <[email protected]> • #278
CiE 2012 Call for Papers
Thu, 15 Sep 2011 12:00:24 +0100
CiE Conference Series <[email protected]> • #277
'The Incomputable' - Registration opens
Wed, 14 Sep 2011 21:45:46 +0100
CiE Conference Series <[email protected]> • #276
Preliminary announcement: CiE 2012 - Turing Centenary Conference, Cambridge, 18-23 June 2012
Tue, 23 Aug 2011 01:18:47 +0100
CiE Conference Series <[email protected]> • #275
2nd CFP: ACM SIGPLAN 7th Workshop on Generic Programming (WGP 2011)
Fri, 06 May 2011 02:25:25 +0800
[email protected] • #274
Assistant Position at University of Ulm, Computer Science, Constraint-Preogramming
Tue, 15 Mar 2011 12:40:26 +0100
Thom Fruehwirth <[email protected]> • #273
JESS: Assistant Position at University of Ulm, Computer Science, Constraint-Preogramming
Tue, 15 Mar 2011 12:40:26 +0100
"Thom Fruehwirth" <[email protected]> • #272
EXTENDED DEADLINE: 3rd IEEE International Workshop on Component-Based Design of Resource-Constrained Systems (CORCS 2011)
Mon, 28 Feb 2011 11:36:28 +0100
Alexandre David <[email protected]> • #271
CORCS'11 - Call for papers
Wed, 2 Feb 2011 16:55:38 +0100
Alexandre David <[email protected]> • #270
POPL 2011: Call for participation
Thu, 09 Dec 2010 13:04:57 -0500
Swarat Chaudhuri <[email protected]> • #269
LOPSTR/PPDP 2010 Final Call for Participation
Mon, 05 Jul 2010 09:11:38 +0200
Wolfgang Schreiner <[email protected]> • #268
LOPSTR/PPDP 2010 Early Registration Deadline: June 21
Mon, 14 Jun 2010 11:56:48 +0200
Wolfgang Schreiner <[email protected]> • #267
ICFP2010 Programming Contest.
Fri, 4 Jun 2010 21:37:15 +1000
Paul Bone <[email protected]> • #266
MoChArt 2010: Call for Participation
Thu, 27 May 2010 18:33:33 +0200 (CEST)
Jan-Georg Smaus <[email protected]> • #265
LOPSTR/PPDP 2010 Call for Participation
Wed, 26 May 2010 11:26:39 +0200
Wolfgang Schreiner <[email protected]> • #264
MoChArt 2010: Call for Papers (Deadline extended!)
Thu, 1 Apr 2010 13:48:04 +0200 (CEST)
Jan-Georg Smaus <[email protected]> • #263
Model Checking and Artificial Intelligence (MoChArt 2010): call for papers
Fri, 19 Mar 2010 11:17:03 +0100 (CET)
Jan-Georg Smaus <[email protected]> • #262
Call for Papers: SPLASH / OOPSLA
Thu, 18 Feb 2010 11:30:36 +1100
Paul Bone <[email protected]> • #261
MoChArt 2010: Call for papers
Thu, 14 Jan 2010 14:24:35 +0100 (CET)
Jan-Georg Smaus <[email protected]> • #260
call for organizing next AFP summerschool (2010)
Mon, 2 Nov 2009 09:55:12 +0100
"rinus plasmeijer" <[email protected]> • #259
[isabelle] Deadline extended: Software Verification and Testing at ACM SAC 2010
Tue, 08 Sep 2009 17:50:52 +0000
Jan Cederquist <[email protected]> • #258
[isabelle] Last Cfp: Software Verification and Testing at ACM SAC 2010
Tue, 25 Aug 2009 23:00:18 +0000
Jan Cederquist <[email protected]> • #257
GAMES 2009: CALL FOR CONTRIBUTIONS
Tue, 30 Jun 2009 16:02:31 +0200
Pietro Sala <[email protected]> • #256
First Call For Papers: PEPM'10
Tue, 16 Jun 2009 16:21:08 +0200
John Gallagher <[email protected]> • #255
(unknown)
Mon, 25 May 2009 12:35:26 +0100
Oege de Moor <[email protected]> • #254
LASER summer school on software testing -- Elba, 6-12 September 2009
Wed, 20 May 2009 10:43:55 +0200
Martin Nordio <[email protected]> • #253
[FMICS 2009] Call for Posters
Fri, 08 May 2009 08:52:13 +0200
FMICS 2009 workshop chair <[email protected]> • #252
CORCS'09 - Call for papers - Extended submission
Wed, 11 Mar 2009 12:04:30 +0100
Alexandre David <[email protected]> • #251
CORCS'09 - Call for papers
Mon, 02 Mar 2009 16:42:16 +0100
Alexandre David <[email protected]> • #250
Re: [TYPES/announce] Call for papers: POPL 2010
Tue, 9 Dec 2008 10:03:28 +0000 (GMT)
Fer-Jan de Vries <[email protected]> • #249
[rvm-research] ISMM 2009 Call for Papers
Thu, 20 Nov 2008 23:23:12 +0200
Hillel Kolodner <[email protected]> • #248
WLP 2008 - Second Call for Papers
Sat, 05 Jul 2008 15:17:44 +0200 (CEST)
Sibylle Schwarz <[email protected]> • #247
WLP 2008 - Second Call for Papers
Sat, 05 Jul 2008 15:17:44 +0200 (CEST)
Sibylle Schwarz <[email protected]> • #246
Second Call for Participation TFP 2008, The Netherlands
Tue, 22 Apr 2008 16:40:07 +0200
Peter Achten <[email protected]> • #245
Third Call for Participation AFP 2008 (correct date early registration)
Thu, 10 Apr 2008 21:07:17 +0200
Peter Achten <[email protected]> • #244
First Call for Participation TFP 2008, The Netherlands (correct early registration date)
Thu, 10 Apr 2008 21:04:41 +0200
Peter Achten <[email protected]> • #243
Third Call for Participation AFP 2008
Thu, 10 Apr 2008 16:10:29 +0200
Peter Achten <[email protected]> • #242
First Call for Participation TFP 2008, The Netherlands
Thu, 10 Apr 2008 15:55:01 +0200
Peter Achten <[email protected]> • #241
WLP 2008 - Call for Papers
Mon, 24 Mar 2008 15:02:48 +0100 (CET)
Sibylle Schwarz <[email protected]> • #240
WLP 2008 - Call for Papers
Mon, 24 Mar 2008 15:02:48 +0100 (CET)
Sibylle Schwarz <[email protected]> • #239
CORCS 2008: Call for Papers - extended deadline
Thu, 06 Mar 2008 12:11:49 +0100
Alexandre David <[email protected]> • #238
CORCS 2008: 2nd Call for Papers (extended deadline!)
Fri, 29 Feb 2008 11:05:54 +0100
Cristina Seceleanu <[email protected]> • #237
2nd call for participation AFP 2008, The Netherlands
Fri, 29 Feb 2008 15:26:15 +0100
Peter Achten <[email protected]> • #236
Third Call For Papers TFP 2008, The Netherlands (deadline extended march 10 2008)
Fri, 29 Feb 2008 14:26:27 +0100
Peter Achten <[email protected]> • #235
1st call for participation AFP 2008, The Netherlands
Mon, 04 Feb 2008 18:09:53 +0100
Peter Achten <[email protected]> • #234
Second Call for Papers TFP 2008, The Netherlands
Fri, 01 Feb 2008 13:55:10 +0100
Peter Achten <[email protected]> • #233
CORCS 2008: Call for Papers
Mon, 21 Jan 2008 16:19:16 +0100
Alexandre David <[email protected]> • #232
Summer School on Concurrency
Tue, 11 Dec 2007 00:58:03 -0500
Jan Vitek <[email protected]> • #231
FASE'08: abstracts due October 5
Tue, 24 Jul 2007 15:19:39 +0100
José Luiz Fiadeiro <[email protected]> • #230
2nd CfP: ACM SAC Software Verification track
Tue, 24 Jul 2007 18:06:14 +0200 (CEST)
"Fausto Spoto" <[email protected]> • #229
Second Call for Papers -- ASIAN'07
Fri, 20 Jul 2007 00:57:21 +0900 (JST)
Kazunori UEDA <[email protected]> • #228
FOOL2008 Call for Papers
Mon, 18 Jun 2007 23:03:12 +0900
Atsushi Igarashi <[email protected]> • #227
WLPE'07 - Deadline extension
Sat, 16 Jun 2007 00:29:15 +0200
Wim Vanhoof <[email protected]> • #226
first CfP: ACM SAC Track on Software Verification 2008
Mon, 04 Jun 2007 12:04:48 +0400
Fausto Spoto <[email protected]> • #225
Call for papers -- ASIAN'07
Sun, 03 Jun 2007 18:17:58 +0300
Iliano Cervesato <[email protected]> • #224
(2nd CFP) Workshop on Logic-based Methods in Programming Environments (WLPE'07)
Sat, 02 Jun 2007 22:16:21 +0200
Wim Vanhoof <[email protected]> • #223
(CFP) WLPE'07 - Workshop on Logic-based Methods in Programming Environments
Tue, 24 Apr 2007 17:30:09 +0200
Wim Vanhoof <[email protected]> • #222
Deadline extension: POPL Call for Event Proposals
Tue, 20 Mar 2007 14:51:43 -0400
Yitzhak Mandelbaum <yitzhakm-sXtZGUMCxtn536EW/[email protected]> • #221
Call For Papers: The Second International Conference on Knowledge Science, Engineering and Management (KSEM'2007)
Wed, 07 Mar 2007 12:58:17 +1100
Dr Dongmo Zhang <[email protected]> • #220
Bytecode'07: call for participation
Mon, 12 Feb 2007 12:45:42 +0100
Fausto Spoto <[email protected]> • #219
Final CFP: Constraints Journal, Special Issue on Constraint based methods for Bioinformatics
Mon, 29 Jan 2007 13:33:10 +0100
Sebastian Will <[email protected]> • #218
CFP UPGRADE-CN'07
Sat, 13 Jan 2007 18:43:15 +0100
"Giancarlo Fortino" <[email protected]> • #217
Second CFP: Constraints Journal, Special Issue on Constraint based methods for Bioinformatics
Mon, 11 Dec 2006 17:24:00 +0100
"Alessandro Dal Palu'" <[email protected]> • #216
Second CfP: Bytecode'07
Fri, 24 Nov 2006 13:30:54 +0100
Fausto Spoto <[email protected]> • #215
PEPM 2007 - Deadline extension
Sat, 21 Oct 2006 18:14:02 +0800
"Ganesan Ramalingam" <[email protected]> • #214
ICFP 2007 Call for Workshop Proposals
Mon, 09 Oct 2006 09:00:11 +0100
Graham Hutton <[email protected]> • #213
2nd CALL FOR PAPERS: CLAT 2007
03 Sep 2006 23:35:36 +0100
Tope Omitola <[email protected]> • #212
2nd CALL FOR PAPERS: CLAT 2007
03 Sep 2006 23:35:36 +0100
Tope Omitola <[email protected]> • #211
Workshop on Constraints and Bioinformatics: Second call for participation
Wed, 30 Aug 2006 14:33:05 +0200 (MEST)
Gestione_Workshop_WCB06 <[email protected]> • #210
Express '06 - Call for Participation
Tue, 11 Jul 2006 17:36:25 +0100
Iain Phillips <[email protected]> • #209
Call for paper: ACM SAC track on Software Verification
Mon, 10 Jul 2006 14:44:17 -0400
"Lunjin Lu" <l2lu-+X+/[email protected]> • #208
CFP - ACM CLAT07 - Call For Papers
05 Jul 2006 11:56:54 +0100
Tope Omitola <too20-KWPb1pKIrIJaa/[email protected]> • #207
FORMAL METHODS 2006: Early Reg. Deadline
Sun, 2 Jul 2006 07:55:47 -0400 (EDT)
Jeffery Zucker <[email protected]> • #206
WS-FM 2006 Call for Partecipation
Mon, 26 Jun 2006 22:32:39 +0200
Mario Bravetti <[email protected]> • #205
CFP: IEEE in cooperated International Conference on Computational Intelligence for Modelling, Control and Automation
Wed, 14 Jun 2006 16:01:28 +1000
"Mohammadian, Masoud" <[email protected]> • #204
CFV'06: Call for Papers
Mon, 29 May 2006 01:00:16 -0500
"Miroslav Velev" <[email protected]> • #203
CERTSOFT'06: Revised CFP
Thu, 25 May 2006 16:14:49 -0400 (EDT)
Jeffery Zucker <[email protected]> • #202
Workshop on (logic-based) programming environments - DEADLINE EXTENSION
Tue, 16 May 2006 11:21:30 +0200
Wim Vanhoof <[email protected]> • #201
FM06 - Doctoral Symposium - FINAL CALL
Fri, 19 May 2006 08:27:50 -0300
Augusto Sampaio <[email protected]> • #200
Workshop on (logic-based) programming environments - DEADLINE EXTENSION
Tue, 16 May 2006 12:07:28 +0200
Wim Vanhoof <[email protected]> • #199
Express '06: Final CFP - deadline 1 June
Tue, 16 May 2006 11:10:19 +0100
Iain Phillips <[email protected]> • #198
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.