Parent Categories/Forums: None

Lambda Prolog

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 New Message :: Alert me of new posts :: Rating Filter:

« Newest ‹ Newer — Threads 1-35 — Older ›

Thread (1901 Threads)

Rating

Replies

Last Message

MPC2012 Call for Participation by Jeremy Gibbons

by Jeremy Gibbons

LOPSTR'12 deadline extension by Jon Sneyers

by Jon Sneyers

Logic and Relativity / István Németi's 70th birthday conference by Universal Logic

by Universal Logic

Call for Applications: 5th International School on Software Engineering and Formal Methods by Markus Roggenbach

by Markus Roggenbach

FSFLA 2012: 1st announcement by GRLMC

by GRLMC

ARCOE-12: Third call for papers by AROCE Announcement

by AROCE Announcement

JELIA: Logics in Artificial Intelligence, Toulouse, 26-28 Sep 2012 by Andreas Herzig

by Andreas Herzig

RR2012: Doctoral Consortium Last Call / Deadline Extension [Web Reasoning and Rule Systems] by Francesco Calimeri-2

by Francesco Calimeri-2

[fm-announcements] NASA/NIA PVS Class 2012 by Munoz, Cesar Augusto...

by Munoz, Cesar Augusto...

E. W. Beth Dissertation Prize: 2012 new call for nominations by A. Herzig

by A. Herzig

2nd CFP: CPP 2012 - 2nd International Conference on Certified Programs and Proofs by Dale Miller

by Dale Miller

ASPCOMP 2013: 4th OPEN Answer Set Programming Competition: Call for Benchmark Problems by Francesco Calimeri-2

by Francesco Calimeri-2

PPDP 2012: Final Call for Papers by Jon Sneyers

by Jon Sneyers

LOPSTR 2012: Final Call for Papers by Jon Sneyers

by Jon Sneyers

Call For Papers: APLAS 2012, 10th Asian Symposium on Programming Languages and Systems by Ranjit Jhala

by Ranjit Jhala

FLACOS 2012 Call for Papers by FLACOS 2012

by FLACOS 2012

ASPCOMP 2013: 4th OPEN Answer Set Programming Competition: Call for Benchmark Problems by Francesco Calimeri-2

by Francesco Calimeri-2

3rd CFP SYNASC 2012, Timisoara, Romania by SYNASC 2012

by SYNASC 2012

RR2012: DEADLINE EXTENSION to May 25/30, 2012 by Francesco Calimeri-2

by Francesco Calimeri-2

2nd CfP ASPOCP 2012: 5th Workshop on Answer Set Programming and Other Computing Paradigms by aspocp

by aspocp

[fm-announcements] Call For Papers: RV 2012 by Klaus Havelund-2

by Klaus Havelund-2

Call for papers GandALF 2012 -- EXTENDED DEADLINE by Nello Murano

by Nello Murano

ESSLLI 2012 call for participation by A. Herzig

by A. Herzig

ESSLLI 2013: call for course and workshop proposals by Johan Bos-4

by Johan Bos-4

Last CFP: Workshop on Logics for Resources, Processes and Programs (LRPP 2012) by Pym, Professor David...

by Pym, Professor David...

LAST CFP: 6th International Conference on Web Reasoning and Rule Systems by Francesco Calimeri-2

by Francesco Calimeri-2

CiE 2012: Turing Centenary Conference, Cambridge - Final Call for Presentations by S B Cooper

by S B Cooper

IJCAR 2012 Participation and Travel Awards by Geoff Sutcliffe

by Geoff Sutcliffe

CONCUR 2009: Call for Affiliated Workshops by Mario Bravetti

by Mario Bravetti

BNC@ECAI 2012: Second Call for Papers by BNC 2012

by BNC 2012

FMCAD'2012: Final Call For Papers by gianpiero.cabodi

by gianpiero.cabodi

SLS2012 Deadline extension by Thomas Bolander

by Thomas Bolander

Second CFP Synasc 2012, Timisoara, Romania by SYNASC 2012

by SYNASC 2012

WING 2012: Call for Presentations by Gudmund Grov-2

by Gudmund Grov-2

CHR 2012: Call for Papers by Jon Sneyers

by Jon Sneyers

Post New Message :: Alert me of new posts ::

« Newest ‹ Newer — Threads 1-35 — Older ›