gmane.comp.lang.lambda-prolog archive

813 archived articles, newest first (page 9 of 9). Latest articles →

INAP/WLP 2011: Deadline Extension and Final Call for Papers
Fri, 1 Jul 2011 12:13:27 +0200 (CEST)
[email protected] (Dietmar Seipel) • #2582
Postdoc Position on Formal Verification of Model-based Software Design, INRIA Grenoble, France
Mon, 27 Jun 2011 16:41:23 +0200 (CEST)
[email protected] • #2581
CFP: FOOL'11
Mon, 27 Jun 2011 11:07:54 +0200
Elena Zucca <[email protected]> • #2580
[CLA-11] Extended deadline for paper submission: July 7th
Fri, 24 Jun 2011 12:05:30 +0200 (CEST)
Mehdi KAYTOUE <[email protected]> • #2579
Turing Centenary Research Competition - Call for Proposals
Thu, 23 Jun 2011 16:18:57 +0100 (BST)
S Barry Cooper <[email protected]> • #2578
FW: DEADLINE EXTENSION: Infinity 2011, Taipei, Taiwan
Tue, 21 Jun 2011 09:40:03 +0800
"Farn Wang" <[email protected]> • #2577
Scope of Logic Theorems - Call for Papers
Sat, 18 Jun 2011 13:36:02 -0300 (BRT)
"Universal Logic" <[email protected]> • #2576
ESSLLI 2012: last call for course and workshop proposals
Fri, 17 Jun 2011 12:34:47 +0200
"A. Herzig" <[email protected]> • #2575
[Lpmas] INAP/WLP 2011: Second Call for Papers
Wed, 15 Jun 2011 23:35:17 +0200
Hans Tompits <[email protected]> • #2574
CP 2011 - Call for Participation
Wed, 15 Jun 2011 20:34:47 +0200
CP2011 publicity <[email protected]> • #2573
Preferences and Soft Constraints, SofT'11 - Call for Papers
Wed, 15 Jun 2011 19:51:36 +0200
SofT11 info <[email protected]> • #2572
HLDVT 2011: 2 days to abstract submission deadline
Wed, 15 Jun 2011 10:35:00 -0700
Shireesh Verma <[email protected]> • #2571
FW: [Call for Papers] INFINITY 2011, Taipei, Taiwan
Wed, 15 Jun 2011 10:40:04 +0800
"Farn Wang" <[email protected]> • #2570
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.