| 
Programming Languages
 » 
Lambda Prolog
Parent Categories/Forums: Programming Languages
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
Post to Lambda Prolog Post New Message  ::  Alert me of new posts  ::  Rating Filter:
« Newest  ‹ Newer  —  Threads 1-35  —  Older ›

Thread (1070 Threads) Rating Replies Last Message

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

GAMES 2009: Call for Contributions by fsvweb
0
by fsvweb

HLDVT 2009 Paper Submission Deadline Extended to June 26 by Shireesh Verma
0
by Shireesh Verma

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

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

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

Initial Call for Papers: PADL 2010 by Manuel Carro
0
by Manuel Carro

3rd International Symposium on Rules, Applications and Interoperability (RuleML-2009) by Adrian Paschke
0
by Adrian Paschke

[LC-09] LOGIC COLLOQUIUM 2009 - third announcement by Logic Colloquium 200...
0
by Logic Colloquium 200...

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

VECoS 2009 - Call for Participation by Bruno Monsuez-2
0
by Bruno Monsuez-2

AVoCS'09 - Final call for papers by avocs09
0
by avocs09

ICE09: Extended Deadline by Filippo Bonchi
0
by Filippo Bonchi

ESSLLI 2009 Bordeaux: Program and Call for Participation by Richard Moot
0
by Richard Moot

TFM09: Deadline extension to 8 June by J.N. Oliveira
0
by J.N. Oliveira

Announcement of SCSS 2009 by Temur Kutsia-2
0
by Temur Kutsia-2
Post to Lambda Prolog Post New Message  ::  Alert me of new posts  ::  Atom feed for Lambda Prolog
« Newest  ‹ Newer  —  Threads 1-35  —  Older ›
Free embeddable forum powered by Nabble Forum Help