|
Programming Languages
»
Lambda Prolog
Parent Categories/Forums:
Programming Languages
Edit this Forum
Lambda Prolog
Search:
This forum
All Forums
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 New Message
::
Alert me of new posts
::
Rating Filter:
0
1
2
3
4
5
« 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 New Message
::
Alert me of new posts
::
« Newest
‹ Newer
— Threads 1-35 —
Older
›
Free embeddable forum
powered by
Nabble
Forum Help