gmane.comp.lang.lambda-prolog archive

813 archived articles, newest first (page 7 of 9). Latest articles →

WADT 2012: Final Call for Papers
Wed, 28 Mar 2012 14:10:56 +0200
WADT 2012 <[email protected]> • #2785
CfP - 8th International Conference on Semantic Systems -- I-SEMANTICS 2012
Tue, 27 Mar 2012 21:11:32 +0200
Harald Sack <[email protected]> • #2784
Relational and Algebraic Methods in Computer Science - CfP
Wed, 28 Mar 2012 11:10:46 +0300
Peter Höfner <[email protected]> • #2783
Intersection Types and Related Systems (ITRS 2012) -- Final Call
Tue, 27 Mar 2012 10:08:28 +0200
Luca Paolini <[email protected]> • #2782
Call for Participation: RTA 2012
Mon, 26 Mar 2012 22:50:54 +0200
Georg Moser <[email protected]> • #2781
2nd CFP: 18th International Conference on Principles & Practice of Constraint Programming
Sat, 24 Mar 2012 00:49:08 +0000
Association ConstraintProgramming <[email protected]> • #2779
Free Textbook: New Hypertext Edition of Introduction to Real Analysis by William F. Trench
Fri, 23 Mar 2012 23:26:49 -0500
William Trench <[email protected]> • #2778
iFM & ABZ 2012 - ALL FOR POSTERS and TOOL DEMOS
Thu, 22 Mar 2012 15:56:48 +0100
Gianluca Trentanni <[email protected]> • #2777
CFP - Synasc2012, Timisoara, Romania
Thu, 22 Mar 2012 15:38:55 +0200 (EET)
Dramnesc Isabela <[email protected]> • #2776
CFP: AiML 2012 (with deadline extension)
Thu, 22 Mar 2012 09:21:10 +0100
Thomas Bolander <[email protected]> • #2775
CfP: Petri Nets and Software Engineering (PNSE'12)
Thu, 22 Mar 2012 11:09:06 +0100
PNSE12 <[email protected]> • #2774
FMICS 2012: 3rd call for papers
Mon, 19 Mar 2012 16:54:57 +0100 (CET)
[email protected] (Ralf Pinger) • #2773
KI-2012: Last Call for Workshop and Tutorial Proposals, Deadline: March 15, 2012
Tue, 13 Mar 2012 18:02:50 +0100
Daniel Sonntag <[email protected]> • #2772
SSFLA 2012: final announcement
Sat, 10 Mar 2012 18:22:27 +0100
"GRLMC" <[email protected]> • #2771
CLIMA XIII @ ECAI: First Call for Papers
Tue, 13 Mar 2012 13:07:56 +0100
Leon van der Torre <[email protected]> • #2770
Please distribute: Texas Linguistics Society (TLS) 13: Call for Papers
Mon, 12 Mar 2012 15:25:31 -0500
Justin Cope <[email protected]> • #2769
Final CfP: ESSLLI 2012 Student Session
Fri, 09 Mar 2012 10:53:20 +0100
ESSLLI 2012 Student Session <[email protected]> • #2768
Extended deadline - 28th International Conference on Logic Programming (ICLP 2012)
Fri, 9 Mar 2012 17:26:14 +0100
"Gergely Lukacsy (glukacsy)" <[email protected]> • #2767
Intersection Types and Related Systems (ITRS 2012) -- 2nd CFP
Fri, 09 Mar 2012 09:00:54 +0100
Luca Paolini <[email protected]> • #2765
CfPart HATS International School on Formal Models for Objects and Components
Thu, 08 Mar 2012 15:04:18 +0100
Mario Bravetti <[email protected]> • #2764
Turing Centenary Meeting, Chinese Academy of Sciences, Beijing, China
Thu, 8 Mar 2012 13:56:34 GMT
S B Cooper <[email protected]> • #2763
"Invited researcher" position at LIAFA, Paris, France: Software Analysis
Mon, 05 Mar 2012 17:24:33 +0100
Tayssir Touili <[email protected]> • #2762
PHD position on SMT-based formal verification in Trento
Sun, 4 Mar 2012 00:38:48 +0100
Roberto Sebastiani <[email protected]> • #2761
PHD position on SAT/SMT applications to requirement engineering in Trento
Sun, 4 Mar 2012 00:38:48 +0100
Roberto Sebastiani <[email protected]> • #2760
WADT 2012: Second Call for Papers
Fri, 02 Mar 2012 10:20:22 +0100
WADT 2012 <[email protected]> • #2759
[VMCAI2012] Professor/Associate professor in Formal Methods
Wed, 29 Feb 2012 16:37:50 +0100
Wolfgang Ahrendt <[email protected]> • #2758
2nd CfP: AMBIENT 2012 || September 23 - 28, 2012 - Barcelona, Spain
Thu, 01 Mar 2012 00:00:33 -0500
AMBIENT 2012 <[email protected]> • #2757
CfP: IJCAR Workshop on Automated Theory Exploration
Tue, 28 Feb 2012 09:55:15 +1100
Peter Höfner <[email protected]> • #2756
CALL FOR INFORMAL PRESENTATIONS: TURING CENTENARY CONFERENCE
Tue, 28 Feb 2012 01:16:39 +0000
CiE Conference Series <[email protected]> • #2755
Alan Turing Centenary Conference, University of Manchester, 22-25 June, 2012
Mon, 27 Feb 2012 13:26:05 GMT
S B Cooper <[email protected]> • #2754
2nd Call for papers - 28th International Conference on Logic Programming (ICLP 2012)
Sat, 25 Feb 2012 17:55:20 +0100
"Gergely Lukacsy (glukacsy)" <[email protected]> • #2753
CFP: ARCOE-12 The 4th International Workshop on Acquisition, Representation and Reasoning with Contextualized Knowledge
Fri, 24 Feb 2012 15:49:19 +0100
AROCE Announcement <[email protected]> • #2752
[CiE 2012] Call for Informal Presentations for Turing Centenary Conference in Cambridge
Thu, 23 Feb 2012 20:41:37 GMT
S B Cooper <[email protected]> • #2751
CMCS 2012: Final Call for Short Contributions
Wed, 22 Feb 2012 14:49:20 +0100
[email protected] • #2750
[BNC@ECAI12] Workshop on Belief change, Non-monotonic reasoning and Conflict resolution - First Call For Papers
Tue, 21 Feb 2012 22:18:48 +0100
Sébastien Konieczny <[email protected]> • #2749
Postdoc position at LIAFA, Paris, France: Model-checking for malware detection
Mon, 20 Feb 2012 15:18:52 +0100
Tayssir Touili <[email protected]> • #2747
The Turing Centenary Conference, Manchester, June 22-25
Mon, 20 Feb 2012 00:22:24 +0000
[email protected] (2 turing1) • #2746
FMICS, second call for papers
Thu, 16 Feb 2012 23:05:50 +0100
Marielle Stoelinga <[email protected]> • #2745
SSFLA 2012: 3rd announcement
Sun, 19 Feb 2012 11:38:40 +0100
"GRLMC" <[email protected]> • #2744
[fm-announcements] NFM 2012 Call For Participation
Wed, 15 Feb 2012 07:15:55 -0600
"PERSON, SUZETTE (LARC-D320)" <[email protected]> • #2743
Final CfP: COORDINATION 2012 (deadlines extended)
Tue, 14 Feb 2012 08:16:21 +0100 (CET)
[email protected] • #2742
CFP: 8th Scandinavian Logic Symposium
Thu, 16 Feb 2012 07:17:59 +0100
Thomas Bolander <[email protected]> • #2741
CFP: TCS 2012
Wed, 15 Feb 2012 13:13:31 +0100
Michiel Helvensteijn <[email protected]> • #2740
PostDoc available at LIX, Ecole Polytechnique, France
Wed, 15 Feb 2012 14:26:40 +0100
Dale Miller <[email protected]> • #2739
2nd CfP: ESSLLI 2012 Student Session
Tue, 14 Feb 2012 12:46:46 +0100
ESSLLI 2012 Student Session <[email protected]> • #2738
Last CFP FORMAL METHODS 2012
Mon, 13 Feb 2012 14:45:57 +0100
Tayssir Touili <[email protected]> • #2737
DisCoTec 2012 Submission Deadline Extension (COORDINATION + DAIS + FMOODS/FORTE)
Fri, 10 Feb 2012 19:52:35 +0000 (GMT)
[email protected] (Ivana Dusparic) • #2736
CFP: AiML 2012
Sat, 11 Feb 2012 22:11:08 +0100
Thomas Bolander <[email protected]> • #2735
CCS 2012: Call for Workshops
Sat, 11 Feb 2012 19:34:35 +0100
Nicola Zannone <[email protected]> • #2734
2nd CFP: Declarative Agent Languages and Technologies (DALT 2012)
Fri, 10 Feb 2012 10:24:24 +0000
Louise Dennis <[email protected]> • #2733
FMCAD'12: Preliminary Call For Papers
Fri, 10 Feb 2012 18:28:30 +0100
[email protected] • #2732
PhD Position in Computational Logic at RISC
Fri, 10 Feb 2012 13:05:54 +0100
Temur Kutsia <[email protected]> • #2731
CNL 2012: Second Call for Papers / Extended Deadline / Confirmation by Springer
Thu, 09 Feb 2012 09:57:43 -0500
Tobias Kuhn <[email protected]> • #2730
Final CfP: COORDINATION 2012 (deadline approaching)
Mon, 6 Feb 2012 11:04:41 +0100 (CET)
[email protected] • #2729
[fm-announcements] RV 2012 - 1st Call For Papers
Sun, 5 Feb 2012 11:35:40 -0800
Klaus Havelund <[email protected]> • #2728
CFP: 18th International Conference on Principles & Practice of Constraint Programming
Fri, 3 Feb 2012 21:30:13 +0000
Association ConstraintProgramming <[email protected]> • #2727
CMCS 2012: Call for Participation and Short Contributions
Sat, 4 Feb 2012 14:00:11 +0100
[email protected] • #2726
SAT 2012: Final Call for Papers
Thu, 2 Feb 2012 18:41:24 +0100
Roberto Sebastiani <[email protected]> • #2725
CfP: 9th International Symposium on Formal Aspects of Component Software (FACS 2012)
Thu, 2 Feb 2012 16:56:00 +0100
[email protected] • #2724
ACM ISMM 2012 Call for Papers (Reminder)
Mon, 30 Jan 2012 22:40:46 +0000
"Martin Vechev" <[email protected]> • #2723
LPAR-18 participation
Wed, 1 Feb 2012 12:19:25 -0500 (EST)
[email protected] (Geoff Sutcliffe) • #2722
2nd CfP - 8th International Conference on Semantic Systems -- I-SEMANTICS 2012
Sun, 29 Jan 2012 13:16:52 +0100
Harald Sack <[email protected]> • #2721
WADT 2012: First Call for Papers
Mon, 30 Jan 2012 12:44:01 +0100
WADT 2012 <[email protected]> • #2720
LATA 2012: call for participation
Sun, 29 Jan 2012 12:17:07 +0100
"GRLMC" <[email protected]> • #2719
Workshop on Intersection Types and Related Systems (ITRS 2012)
Fri, 27 Jan 2012 10:57:37 +0100
Luca Paolini <[email protected]> • #2718
CFP: LOPSTR 212 in Leuven, Belgium
Fri, 27 Jan 2012 11:30:16 +0100
Jon Sneyers <[email protected]> • #2717
CFP: PPDP 2012 in Leuven, Belgium
Fri, 27 Jan 2012 11:31:14 +0100
Jon Sneyers <[email protected]> • #2716
Call for Doctoral Consortium - 28th International Conference on Logic Programming (ICLP 2012)
Wed, 25 Jan 2012 10:24:07 +0100
"Gergely Lukacsy (glukacsy)" <[email protected]> • #2715
Preliminary Call for Papers: The 7th IFIP Conference on Theoretical Computer Science 2012
Tue, 24 Jan 2012 22:46:51 +0100
[email protected] (M.M. Bonsangue) • #2714
CFP: CCS 2012
Sun, 22 Jan 2012 16:34:04 +0100
Nicola Zannone <[email protected]> • #2713
IJCAR 2012 - Third and Final Call for Papers
Fri, 20 Jan 2012 22:01:44 +0100
Bernhard Gramlich <[email protected]> • #2712
ITP 2013: Call for bids
Fri, 20 Jan 2012 10:07:13 -0500 (EST)
" Lennart Beringer" <eberinge-sXtZGUMCxtn536EW/[email protected]> • #2711
[PVS] IIP 2012: Call for Papers
Fri, 20 Jan 2012 16:00:41 +0800
liang chang <[email protected]> • #2710
Turing Centenary Conference (CiE 2012) - Final submission arrangements
Thu, 19 Jan 2012 11:29:39 GMT
S B Cooper <[email protected]> • #2709
LPAR-18 Short Papers and Workshops
Wed, 18 Jan 2012 11:41:50 -0500 (EST)
[email protected] (Geoff Sutcliffe) • #2708
ICFP 2012 Call for papers
Mon, 16 Jan 2012 19:07:16 +0100
Wouter Swierstra <[email protected]> • #2707
SAT 2012: Call for Papers
Mon, 16 Jan 2012 19:54:30 +0100
Roberto Sebastiani <[email protected]> • #2706
ITP 2012: Final Call for Papers
Tue, 17 Jan 2012 10:11:13 -0500
Amy Felty <[email protected]> • #2705
KI 2012: Call for papers
Sun, 15 Jan 2012 21:21:42 +0100
Daniel Sonntag <[email protected]> • #2704
SSFLA 2012: 2nd announcement
Sun, 15 Jan 2012 12:37:18 +0100
"GRLMC" <[email protected]> • #2703
The deadlines for paper submission have been extended (TASE 2012)
Fri, 13 Jan 2012 21:16:36 +0800
"Huibiao Zhu" <[email protected]> • #2702
JELIA 2012
Fri, 13 Jan 2012 16:11:21 +0100
Andreas Herzig <[email protected]> • #2701
PhD Positions at ETH Zurich
Wed, 11 Jan 2012 08:57:19 +0000
"Weissert Marlies" <[email protected]> • #2700
Turing Centenary Conference in Cambridge - Submission Deadline Jan. 20, 2012
Tue, 10 Jan 2012 16:27:44 GMT
S B Cooper <[email protected]> • #2699
Call for Workshop proposal - 28th International Conference on Logic Programming (ICLP 2012)
Mon, 9 Jan 2012 17:35:18 +0100
"Gergely Lukacsy (glukacsy)" <[email protected]> • #2698
Third Workshop on Controlled Natural Language (CNL 2012): Announcement and Call for Papers
Tue, 10 Jan 2012 09:51:56 +0100
Tobias Kuhn <[email protected]> • #2697
CFP: Declarative Agent Languages and Technologies (DALT 2012)
Mon, 09 Jan 2012 11:15:00 +0000
Louise Dennis <[email protected]> • #2696
Deadline Extension RTA 2012
Fri, 06 Jan 2012 08:30:22 +0100
Georg Moser <[email protected]> • #2695
LICS 2012 - Final Call for Papers
Tue, 3 Jan 2012 15:03:15 +0000
"Kreutzer, Stephan" <[email protected]> • #2694
KI 2012: Call for Tutorial Proposals
Tue, 03 Jan 2012 00:33:32 +0100
Daniel Sonntag <[email protected]> • #2693
KI 2012: Call for Workshop Proposal
Tue, 03 Jan 2012 00:12:46 +0100
Daniel Sonntag <[email protected]> • #2692
Final Call For Papers RTA 2012
Thu, 29 Dec 2011 22:55:50 +0100
Georg Moser <[email protected]> • #2691
IJCAR 2012: 2nd Call for Papers
Thu, 29 Dec 2011 18:31:34 +0100
Bernhard Gramlich <[email protected]> • #2690
First CFP: SAS 2012 - 19th International Static Analysis Symposium, Deauville, France
Tue, 27 Dec 2011 22:31:10 +0100 (CET)
Antoine Mine <[email protected]> • #2689
[VMCAI2012] VMCAI 2012: call for participation
Fri, 23 Dec 2011 20:17:22 +0100
Andrey Rybalchenko <[email protected]> • #2688
AVoCS 2012: Preliminary CFP
Wed, 21 Dec 2011 15:53:33 +0100
AVoCS 2012 <[email protected]> • #2687
First CfP: ESSLLI 2012 Student Session
Fri, 16 Dec 2011 09:29:47 +0100
ESSLLI 2012 Student Session <[email protected]> • #2686
Logic, Algebra, and Truth Degrees 2012 - First Call
Fri, 16 Dec 2011 03:03:13 +0100
[email protected] • #2685
Mathematics of Program Construction: Second Call for Papers
Thu, 15 Dec 2011 14:45:39 +0000
[email protected] • #2684
CMCS 2012: Final Call for Papers
Thu, 15 Dec 2011 10:33:44 +0100
[email protected] • #2683
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.