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 (773 Threads) Rating Replies Last Message

CFP: 2008 International Conference on Computational Intelligence for Modelling, Control and Automation - CIMCA'08 by Mohammadian, Masoud
0
by Mohammadian, Masoud

CFP: JAR Special Issue on TESTS AND PROOFS by Bernhard Beckert
0
by Bernhard Beckert

CONCUR & PODC 2008: Call for Participation by Petr Kuznetsov
0
by Petr Kuznetsov

ACM and You by MYV
0
by MYV

ESSLLI 2009 Call for Proposals by Richard Moot
0
by Richard Moot

FDPE 2008 -- Deadline extension by Michael Hanus
0
by Michael Hanus

CfPart: 4th Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'08) by Demis
0
by Demis

[Lprolog] 2nd CFP of TABLEAUX 2007 by benhamou
7
by benhamou

CfPart: 17th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP'08) by Demis
0
by Demis

CAV 08: Final CFP (Reg deadline June 21) by Aarti Gupta-2
0
by Aarti Gupta-2

IJCAR 2008 in Australia by Geoff Sutcliffe
0
by Geoff Sutcliffe

Automated Reasoning Workshop 2008 (Extended Deadline) by Louise Dennis
0
by Louise Dennis

Call for Participation: Conferences on Intelligent Computer Mathematics by Volker Sorge
0
by Volker Sorge

UTP08 Call for work in progress papers by Andrew Butterfield
0
by Andrew Butterfield

QiCP'08 Workshop on Quantification in Constraint Programming (2nd cfp) by Arnaud Lallouet
0
by Arnaud Lallouet

Revised CfP: TTSS'08 - Harnessing Theories for Tool Support in Software, Istanbul/Turkey by Volker Stolz-5
0
by Volker Stolz-5

CFP: International Conference on Innovation in Software Engineering - ISE08 by cimca
0
by cimca

AiML 2008: Registration now open by Carlos Areces-3
0
by Carlos Areces-3

VMCAI 2009: Call for Papers by Markus Mueller-Olm
0
by Markus Mueller-Olm

2008 ICLP Doctoral Consortium by ICLP 08
0
by ICLP 08

HASE 2008 - Extended Deadline June 17 by tase08
0
by tase08

WCAT @ ASE2008. Deadline extension. Coordination and AdaptationTechniques by Carlos Canal
0
by Carlos Canal

Automated Reasoning Workshop 2008 by Louise Dennis
0
by Louise Dennis

LaSh08 Call for Papers by Marc Denecker
0
by Marc Denecker

Doctoral Programme at CICM'08 in Birmingham (Some Student Grants Available!) by Christoph Benzmuelle...
0
by Christoph Benzmuelle...

MPC 2008: SECOND CALL FOR PARTICIPATION by Christine Paulin-2
0
by Christine Paulin-2

ICLP'08 CFP: EXTENDED DEADLINES! by ICLP 08
0
by ICLP 08

CP 2008 - Doctoral Programme by Sebastian Brand
0
by Sebastian Brand

PPDP'08: Call for Participation by Elvira Albert
0
by Elvira Albert

LPAR submission deadline extended by Geoff Sutcliffe
0
by Geoff Sutcliffe

LICS 2008 Reminder by Kreutzer + Schweikar...
0
by Kreutzer + Schweikar...

ICLP'08 CALL FOR PAPERS by ICLP 08
0
by ICLP 08

ECOOP 2008 Call for Posters/Demos by David.Clarke
0
by David.Clarke

PLID'08 - Last Call for Contributions by Samir Genaim-2
0
by Samir Genaim-2

ICLP'08 CALL FOR WORKSHOP PROPOSALS by ICLP 08
0
by ICLP 08
Post to Lambda Prolog Post New Message  ::  Alert me of new posts  ::  Atom feed for Lambda Prolog
« Newest  ‹ Newer  —  Threads 1-35  —  Older