| 
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 1-35  —  Older ›

Thread (1144 Threads) Rating Replies Last Message

DiScoTec 2010: Call for Workshop Proposals by Gianluigi Zavattaro
0
by Gianluigi Zavattaro

Second call for papers: Mathematics of Program Construction by Jules Desharnais
0
by Jules Desharnais

CFP CSTVA'10 2nd International Workshop on Constraints in Software Testing, Verification and Analysis by Arnaud Gotlieb
0
by Arnaud Gotlieb

2nd CFP: Workshop on Matching and Meaning: Automated development, evolution and interpretation of ontologies. by Michael Chan-7
0
by Michael Chan-7

CFP: ECOOP 2010 by ECOOP 2010
0
by ECOOP 2010

PhD Program at IMT, Lucca by Ugo Montanari
0
by Ugo Montanari

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

PAKM Verteiler KSEM Conference Program Announced by PAKM Verteiler
0
by PAKM Verteiler

contest: how to combine logics? by Universal Logic
0
by Universal Logic

call for organizing next AFP summerschool (2010) by rinus plasmeijer
0
by rinus plasmeijer

WoLLIC 2010 - 2nd Call for Papers by Ruy de Queiroz
0
by Ruy de Queiroz

*** extended deadline: FLOPS 2010: Last Call for Papers *** by Matthias Blume-3
0
by Matthias Blume-3

World Congress, Lisbon 2010 - Call for Papers by Universal Logic
0
by Universal Logic

FIVE YEARS OF LOGICAL METHODS IN COMPUTER SCIENCE by MYV
0
by MYV

KSEM Conference Program Announced by PAKM Verteiler
0
by PAKM Verteiler

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

CAV 2010 Call for Papers by Tayssir Touili
0
by Tayssir Touili

CFP: International Symposium on Memory Management 2010 by Kevin Hoffman-2
0
by Kevin Hoffman-2

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

Call for participation: Methods for Modalities 6 by Thomas Bolander
0
by Thomas Bolander

CFP: Advances in Modal Logic 2010 by Carlos Areces-3
0
by Carlos Areces-3

CfPart: FMICS 2009, 2-3 November 2009, Final Call by Christophe Joubert-2
0
by Christophe Joubert-2

HLDVT 2009 Call for Participation: Early Registration Deadline by Shireesh Verma
0
by Shireesh Verma

FMCAD'09 Call For Participation by Armin Biere
0
by Armin Biere

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

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

FIRST PhD Autumn School on Modal Logic by Thomas Bolander
0
by Thomas Bolander

[fm-announcements] CFP: NASA Formal Methods Symposium 2010 by Munoz, Cesar Augusto...
0
by Munoz, Cesar Augusto...

INAP 2009: CALL FOR PARTICIPATION by INAP 2009
0
by INAP 2009

CMCS 2010 Pre-announcement/call for papers by Alexandra Silva-2
0
by Alexandra Silva-2

DAMP 2010 - Extended Deadline [September 27th] by Enrico Pontelli
0
by Enrico Pontelli

Verification and Debug at HLDVT by Shireesh Verma
0
by Shireesh Verma

1st CFP: Workshop on Matching and Meaning: Automated development, evolution and interpretation of ontologies. by Michael Chan-7
0
by Michael Chan-7

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

Final CFP: Australasian Ontology Workshop (AOW 2009): Papers due 25 September 2009 by Kerry.Taylor
0
by Kerry.Taylor
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