gmane.comp.lang.mercury.advertisments

297 articles on record, showing the most recent 50.

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