Parent Categories/Forums: None
Edit this Forum

Lambda Prolog

Search:
This forum is an archive for the mailing list: lprolog@cs.umn.edu (mailing list options). Messages posted here will be sent to this mailing list.

This is a moderated mailing list for discussions broadly related to the Lambda Prolog language.
Child Forums (0): None
To migrate this forum to the new Nabble2 system, please post a request in the Nabble Support forum — Learn more
Post to Lambda Prolog Post New Message  ::  Alert me of new posts  ::  Rating Filter:
« Newest  ‹ Newer  —  Threads 36-70  —  Older

Thread (1138 Threads) Rating Replies Last Message

Last Call for Papers: VSTTE 2009 by Jean-Christophe Fill...
0
by Jean-Christophe Fill...

CFP: ESSLLI 2010 - Deadline 7 September by Carlos Areces-3
0
by Carlos Areces-3

*** FLOPS 2010: 2nd Call for Papers *** by Matthias Blume-3
0
by Matthias Blume-3

DAMP 2010: Call for Papers by Enrico Pontelli
0
by Enrico Pontelli

WLP 2009 - Call for Participation by Armin Wolf
0
by Armin Wolf

Last Call for Participation: GAMES 2009 by fsvweb
0
by fsvweb

PADL'10: deadline extension (1 more week) by Manuel Carro
0
by Manuel Carro

RR 2009 Call for Participation by Terrance Swift
0
by Terrance Swift

2nd Call for Submissions to the 3rd Int. Rules Challenge 2009 by Adrian Paschke
0
by Adrian Paschke

CFP #2: Australasian Ontology Workshop (AOW 2009): Papers due 25 September 2009 by Kerry.Taylor
0
by Kerry.Taylor

PADL 10: Third Call for Papers by Manuel Carro
0
by Manuel Carro

M4M-6: Deadline extended till September 1 by Thomas Bolander
0
by Thomas Bolander

Third Call for Papers: DAMP 2010 by jlpspi
0
by jlpspi

CFP VMCAI 2010, Madrid - EXTENDED DEADLINE: Aug 21/28 by Manuel Hermenegildo
0
by Manuel Hermenegildo

Last CFP: Methods for Modalities 6 (M4M-6) by Thomas Bolander
0
by Thomas Bolander

LATA 2010: call for papers by carlos.martin
0
by carlos.martin

ICE09: CALL FOR PARTICIPATION by Filippo Bonchi
0
by Filippo Bonchi

CFP KR 2010 Doctoral Consortium by Joost Vennekens
0
by Joost Vennekens

Postdoctoral Opportunity at the University of Minnesota by Gopalan Nadathur
0
by Gopalan Nadathur

FLoC 2010: Call For Workshops Deadline Extension by Hitoshi Ohsaki (RTA ...
0
by Hitoshi Ohsaki (RTA ...

CFP: Australasian Ontology Workshop (AOW 2009) by Kerry.Taylor
0
by Kerry.Taylor

FroCoS'09: Call for Participation by Roberto Sebastiani-3
0
by Roberto Sebastiani-3

AVoCS'09 - Call for Short Contributions & Participation by avocs09
0
by avocs09

MALLOW'009 - Call for Participation by Matteo Baldoni
0
by Matteo Baldoni

Call for Papers: VSTTE 2009 by Jean-Christophe Fill...
0
by Jean-Christophe Fill...

Second Call for Papers: PADL'10, Madrid, January 2010 by Manuel Carro
0
by Manuel Carro

CfPart: ICTAC'09 by Martin Leucker-3
0
by Martin Leucker-3

CFP - VMCAI 2010, Madrid (11th Int'l Conf on Verification, Model Checking, and Abstract Interpretation) by vmcai10-announce
0
by vmcai10-announce

Call for Papers: PLPV 2010 by Jean-Christophe Fill...
0
by Jean-Christophe Fill...

LAM'09: Call far Participation (Logics, Agents, Mobility) by Berndt Farwer-2
0
by Berndt Farwer-2

RR 2009 Second Call for Papers by Terrance Swift
2
by Adrian Paschke

WoLLIC 2009 - Call for Papers by Ruy de Queiroz
4
by Ruy de Queiroz

CONCUR 2009: Call for Affiliated Workshops by Mario Bravetti
5
by Mario Bravetti

CfP/deadline extension: MOCA'09 Modeling of Objects, Components and Agents by MOCA'09
0
by MOCA'09

Call for papers: Mathematics of Program Construction by Jules Desharnais
0
by Jules Desharnais
Post to Lambda Prolog Post New Message  ::  Alert me of new posts  ::  Atom feed for Lambda Prolog
« Newest  ‹ Newer  —  Threads 36-70  —  Older