| 
Lambda Prolog
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 71-105  —  Older ›

Thread (1152 Threads) Rating Replies Last Message

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

NASSLLI 2010 call for course and workshop proposals by Chung-chieh Shan-2
0
by Chung-chieh Shan-2

Rule Interchange Format Working Group releases "last call" documents by mmk
0
by mmk

ESSLLI 2010: Call for Course and Workshop Proposals by Carlos Areces
0
by Carlos Areces

LCC Call for Participation by Logic and Computatio...
0
by Logic and Computatio...

CFP by David Beaver
0
by David Beaver

WLP 2009 - Call for Paper - Further Deadline Extension by Armin Wolf
0
by Armin Wolf

1st CfP: Software Engineering for Answer Set Programming (SEA'09) by Tom Crick-2
0
by Tom Crick-2

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

GAMES 2009: CALL FOR CONTRIBUTIONS by Pietro Sala
0
by Pietro Sala

CFPart: DML 2009--Towards a Digital Mathematics Library, Ontario, CA, Jul 8-9th by dml2009
0
by dml2009

INAP 2009: DEADLINE EXTENSION and Final Call for Papers by INAP 2009
0
by INAP 2009

RR2009: ****deadline extension**** by mmk
0
by mmk

RR 2009 Call for Papers by Terrance Swift
1
by Adrian Paschke

VSTTE 2010: Verified Software -- Call for Papers by Gudmund Grov
0
by Gudmund Grov

AFM09 Program and Abstracts by Sam Owre
0
by Sam Owre

CfP: MOCA'09 - Fifth Workshop on Modelling of Objects, Components and Agents by MOCA'09
0
by MOCA'09

ESSLLI 2009 - Final Call for Participation by Richard Moot-2
0
by Richard Moot-2

INAP 2009: 2nd Call for Papers by INAP 2009
0
by INAP 2009

CADE-22 - Second Call for Participation by Carsten Schuermann
0
by Carsten Schuermann

Call for papers - WCB09 - Extended Deadline by Alessandro Dal Palu'
0
by Alessandro Dal Palu'

CALCO 2009: Call for Participation by CALCO 2009
0
by CALCO 2009
Post to Lambda Prolog Post New Message  ::  Alert me of new posts  ::  Atom feed for Lambda Prolog
« Newest  ‹ Newer  —  Threads 71-105  —  Older ›
Free embeddable forum powered by Nabble Forum Help