gmane.comp.lang.lambda-prolog archive

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

Second Call: Workshop on Logics for Resources, Processes and Programs (LRPP 2013)
Fri, 14 Jun 2013 19:08:11 +0100
"Pym, Professor David J." <[email protected]> • #2998
Call for Papers: WFLP/WLP 2013
Fri, 14 Jun 2013 10:44:43 +0200 (CEST)
[email protected] (Michael Hanus) • #2997
SCSS 2013 - Call for Participation
Thu, 13 Jun 2013 09:52:11 +0200
Temur Kutsia <[email protected]> • #2996
Call for Papers: Logic Based Program Synthesis and Transformation (LOPSTR'13) in Madrid (deadline extended)
Wed, 12 Jun 2013 18:19:55 -0500 (CDT)
Gopal Gupta <[email protected]> • #2995
Paper Submission Deadline for LOPSTR'13 Extended to June 24
Fri, 7 Jun 2013 19:20:39 -0500 (CDT)
Gopal Gupta <[email protected]> • #2994
APLAS 2013 second call for papers
Mon, 3 Jun 2013 17:58:58 -0500
Chung-chieh Shan <[email protected]> • #2993
Haskell 2013 second call for submissions
Mon, 3 Jun 2013 17:58:38 -0500
Chung-chieh Shan <[email protected]> • #2992
SSTiC 2013: next registration deadline 26 June
Sun, 2 Jun 2013 22:13:55 +0200
"GRLMC" <[email protected]> • #2991
APLAS 2013 second call for papers
Sun, 2 Jun 2013 19:28:05 -0400
Chung-chieh Shan <[email protected]> • #2990
Haskell 2013 second call for submissions
Sun, 2 Jun 2013 19:24:33 -0400
Chung-chieh Shan <[email protected]> • #2989
Workshop on Logics for Resources, Processes and Programs, 16 September 2013, Nancy, France
Thu, 30 May 2013 14:09:49 +0100
"Pym, Professor David J." <[email protected]> • #2988
Call for Papers IFL 2013
Mon, 27 May 2013 02:04:05 -0700 (PDT)
[email protected] • #2987
TPNC 2013: 2nd call for papers
Sun, 26 May 2013 17:14:56 +0200
"GRLMC" <[email protected]> • #2986
Call for Papers: 23rd Symposium on Logic-based Programming Synthesis and Transformation
Sun, 26 May 2013 08:40:42 -0500 (CDT)
Gopal Gupta <[email protected]> • #2985
SSTiC 2013: next registration deadline 26 May
Mon, 20 May 2013 15:08:04 +0200
"GRLMC" <[email protected]> • #2984
*Deadline Extension* PLMMS, 9th July 2013, Bath, UK
Thu, 9 May 2013 11:37:58 +0100
Iain Whiteside <[email protected]> • #2983
SSTiC 2013: next registration deadline 26 May
Sun, 5 May 2013 18:08:01 +0200
"GRLMC" <[email protected]> • #2982
VeriSure Workshop Call for Papers
Fri, 03 May 2013 00:23:43 -0700
Sam Owre <[email protected]> • #2981
SCSS 2013 - Deadline Extension
Thu, 02 May 2013 10:21:14 +0200
Temur Kutsia <[email protected]> • #2980
VSTTE 2013 Call for Participation
Wed, 01 May 2013 20:32:18 -0700
Sam Owre <[email protected]> • #2979
VSTTE 2013 Call for Participation
Tue, 23 Apr 2013 14:16:55 -0700
Sam Owre <[email protected]> • #2978
TPNC 2013: 1st call for papers
Sun, 21 Apr 2013 12:34:36 +0200
"GRLMC" <[email protected]> • #2977
VSTTE Competition 2013 Second Announcement
Wed, 17 Apr 2013 13:17:07 -0700
Sam Owre <[email protected]> • #2975
2nd CFP: SCSS 2013
Tue, 16 Apr 2013 11:02:02 +0200
Temur Kutsia <[email protected]> • #2974
Third Summer School on Formal Techniques, May 20-24, 2013 (call for participation)
Tue, 16 Apr 2013 00:39:20 -0700
Sam Owre <[email protected]> • #2973
CfP PLMMS at CICM, July 2013, Bath, UK
Fri, 12 Apr 2013 15:13:19 +0100
Iain Whiteside <[email protected]> • #2972
SSTiC 2013: 3rd registration deadline 26 April
Sun, 7 Apr 2013 10:09:13 +0200
"GRLMC" <[email protected]> • #2971
Haskell 2013 call for submissions
Tue, 2 Apr 2013 15:26:56 -0400
Chung-chieh Shan <[email protected]> • #2969
APLAS 2013 call for papers
Tue, 2 Apr 2013 15:27:59 -0400
Chung-chieh Shan <[email protected]> • #2968
Call For Papers: 9th International Workshop on Automated Specification and Verification of Web Systems (WWV'13: June 6, 2013, Firenze, Italy) - Extended Paper submission deadline: April 8, 2013
Fri, 29 Mar 2013 18:32:27 +0100
Josep Silva Galiana <[email protected]> • #2967
Call for Papers: WFLP/WLP 2013
Mon, 25 Mar 2013 15:12:09 +0100 (CET)
[email protected] (Michael Hanus) • #2965
CFP: Methods for Modalities 2013
Sun, 24 Mar 2013 11:02:29 -0300
Carlos Areces <[email protected]> • #2964
SSTiC 2013: 2nd registration deadline 26 March
Sun, 24 Mar 2013 12:02:44 +0100
"GRLMC" <[email protected]> • #2963
Second call for papers WWV 2013
Thu, 21 Mar 2013 09:57:34 +0100
Josep Silva Galiana <[email protected]> • #2962
CiE 2013: Call for Informal Presentations
Thu, 21 Mar 2013 01:05:13 +0000
CiE Conference Series <[email protected]> • #2961
CFP: SCSS 2013
Tue, 19 Mar 2013 14:54:01 +0100
Temur Kutsia <[email protected]> • #2960
ICFP 2013: Second Call for Papers
Sat, 16 Mar 2013 16:26:52 -0400
David Van Horn <[email protected]> • #2958
Postdocs available in Proof Certificates
Thu, 14 Mar 2013 17:02:39 +0100
Dale Miller <[email protected]> • #2957
Call for Papers SEASAME 2013: Int'l Workshop on Software Engineering for sAfety-critical Systems and Medical dEvices
Wed, 13 Mar 2013 18:50:42 -0400
Seasame Workshop <[email protected]> • #2956
FroCoS 2013 Final Call for Papers
Wed, 13 Mar 2013 11:54:43 +0100
Christophe Ringeissen <Christophe.Ringeissen-/[email protected]> • #2955
SSTiC 2013: 2nd announcement
Sat, 9 Mar 2013 23:08:24 +0100
"GRLMC" <[email protected]> • #2954
LATA 2013: call for participation
Sun, 24 Feb 2013 21:22:09 +0100
"GRLMC" <[email protected]> • #2953
TABLEAUX 2013 - 2nd Call for Papers, Tutorials and Workshops
Sun, 17 Feb 2013 11:24:48 +0100
Didier Galmiche <[email protected]> • #2951
ICFP 2013: Call for papers
Fri, 8 Feb 2013 14:04:29 -0500
David Van Horn <[email protected]> • #2950
Assistant Position at University of Ulm, Computer Science, Declarative Programming
Thu, 07 Feb 2013 11:35:39 +0100
Thom Fruehwirth <[email protected]> • #2948
ETAPS 2014: CALL FOR SATELLITE EVENTS
Sat, 2 Feb 2013 08:42:14 +0100
ETAPS 2014 <etaps2014.organization-wMUr/[email protected]> • #2947
*** FORTHCOMING DEADLINE*** [CfP] 4th *OPEN* Answer Set Programming Competition 2013 - CALL FOR PARTICIPANTS
Wed, 30 Jan 2013 09:29:40 +0100
Francesco Calimeri <[email protected]> • #2946
Call for papers WWV 2013
Thu, 31 Jan 2013 00:20:00 +0100
Josep Silva Galiana <[email protected]> • #2945
FroCoS 2013 Second Call for Papers
Wed, 30 Jan 2013 18:56:28 +0100
Christophe Ringeissen <Christophe.Ringeissen-/[email protected]> • #2944
SSTiC 2013: 1st announcement
Sun, 27 Jan 2013 16:08:53 +0100
"GRLMC" <[email protected]> • #2943
Re: [PROLE] RTA 2013: last call for papers
Sun, 27 Jan 2013 19:24:01 +0100
Josep Silva Galiana <[email protected]> • #2942
RTA 2013: last call for papers
Sun, 20 Jan 2013 22:41:48 +0100
Sophie Tison <[email protected]> • #2941
CiE 2013: The Nature of Computation - final submission by *February 2nd 2013*
Fri, 18 Jan 2013 12:42:25 +0000
CiE Conference Series <[email protected]> • #2940
[CfP] 4th *OPEN* Answer Set Programming Competition 2013 - CALL FOR PARTICIPANTS
Fri, 11 Jan 2013 19:01:11 +0100
Francesco Calimeri <[email protected]> • #2938
Festschrift in honor of David S.,Warren - CFP
Thu, 03 Jan 2013 17:24:23 -0500
Michael Kifer <[email protected]> • #2937
CiE13 call for papers and special awards
Thu, 3 Jan 2013 01:18:42 +0000
CiE Conference Series <[email protected]> • #2936
PADL'13: Final Call for Participation (Early Reg. Deadline: Dec 31)
Mon, 31 Dec 2012 13:32:11 -0600 (CST)
Gopal Gupta <[email protected]> • #2935
PEPM 2013: 2nd Call for Participation
Thu, 13 Dec 2012 11:12:46 +0800
[email protected] • #2933
Assistant Professorships (Tenure Track) at ETH Zurich
Fri, 30 Nov 2012 16:53:52 +0000
"Mueller Peter" <[email protected]> • #2932
TABLEAUX 2013 - call for Papers, Tutorials and Workshops
Sun, 02 Dec 2012 11:59:42 +0100
[email protected] • #2931
CALL FOR PAPERS CiE 2013: The Nature of Computation
Sun, 25 Nov 2012 23:14:10 +0000
CiE Conference Series <[email protected]> • #2930
PEPM 2013: Call for Participation
Sat, 24 Nov 2012 17:03:03 +0800
[email protected] • #2929
Re: Working with lambda abstraction capturing binding effects
Fri, 23 Nov 2012 11:00:16 +0100
Jakob Praher <[email protected]> • #2928
Re: Working with lambda abstraction capturing binding effects
Fri, 23 Nov 2012 09:22:57 +0100
Dale Miller <[email protected]> • #2927
Working with lambda abstraction capturing binding effects
Wed, 21 Nov 2012 21:42:37 +0100
Jakob Praher <[email protected]> • #2926
FroCoS 2013 First Call for Papers
Tue, 20 Nov 2012 18:02:49 +0100
Christophe Ringeissen <[email protected]> • #2925
[CfP] 4th *OPEN* Answer Set Programming Competition 2013 - CALL FOR PARTICIPANTS
Tue, 20 Nov 2012 00:01:59 +0100
Francesco Calimeri <[email protected]> • #2924
LATA 2013: submission deadline extended
Sun, 4 Nov 2012 14:56:34 +0100
"GRLMC" <[email protected]> • #2923
LATA 2013: 3rd call for papers
Sun, 14 Oct 2012 18:14:31 +0200
"GRLMC" <[email protected]> • #2922
Call for Participation: APLAS and CPP 2012
Mon, 15 Oct 2012 09:18:19 +0200
Dale Miller <[email protected]> • #2921
Computability in Europe 2013: The Nature of Computation
Mon, 15 Oct 2012 23:59:38 +0100
CiE Conference Series <[email protected]> • #2920
FSNC 2012: 3rd announcement
Sun, 7 Oct 2012 11:22:30 +0200
"GRLMC" <[email protected]> • #2919
PEPM 2013: Deadline Extension
Tue, 2 Oct 2012 02:14:21 +0800
scm-ml <[email protected]> • #2918
FSFLA 2012: final announcement
Sun, 30 Sep 2012 18:10:51 +0200
"GRLMC" <[email protected]> • #2917
LATA 2013: 2nd call for papers
Sat, 15 Sep 2012 16:55:57 +0200
"GRLMC" <[email protected]> • #2916
PADL 2013 Deadline Extension
Mon, 17 Sep 2012 08:36:37 -0500
Gopalan Nadathur <[email protected]> • #2915
PEPM 2013: Final Call for Papers
Mon, 17 Sep 2012 09:42:48 +0800
scm-ml <[email protected]> • #2914
Book Announcement
Fri, 7 Sep 2012 15:36:08 -0500
Gopalan Nadathur <[email protected]> • #2912
4th *OPEN* Answer Set Programming Competition 2013 - EXTENDED DEADLINE - New Call for benchmarks
Tue, 4 Sep 2012 19:15:26 +0200
Francesco Calimeri <[email protected]> • #2911
Postdoctoral Opening at the University of Minnesota
Mon, 20 Aug 2012 14:02:04 -0500
Gopalan Nadathur <[email protected]> • #2909
change in moderation policy
Thu, 2 Aug 2012 23:47:40 -0500
Gopalan Nadathur <[email protected]> • #2908
PhD scholarships 2012 -- Computer Science -- Pisa
Thu, 2 Aug 2012 11:42:13 +0200
Pierpaolo Degano <[email protected]> • #2907
ICLP: Google Grant for female scientists + early registration period ends on June 20
Thu, 19 Jul 2012 18:33:28 +0000
"Gergely Lukacsy (glukacsy)" <[email protected]> • #2906
Call for Participation: LOPSTR and PPDP 2012
Wed, 18 Jul 2012 13:10:58 +0200
Jon Sneyers <[email protected]> • #2905
IEEE HLDVT 2012: Call for Work-in-Progress Abstracts
Tue, 17 Jul 2012 22:28:09 -0400
"Hiren D. Patel" <[email protected]> • #2904
ICLP 2012 Early registration extended till July 20th
Wed, 18 Jul 2012 07:41:15 +0000
"Gergely Lukacsy (glukacsy)" <[email protected]> • #2903
PEPM 2013: Second Call for Papers
Thu, 19 Jul 2012 14:44:51 +0800
scm-ml <[email protected]> • #2902
Final Call For Papers: Implementation and Application of Functional Languages 2012, Oxford, UK
Tue, 17 Jul 2012 10:26:16 +0100
Tom Harper <[email protected]> • #2901
CALL FOR PARTICIPATION - Relational and Algebraic Methods in Computer Science (RAMiCS)
Sun, 15 Jul 2012 15:25:55 +1000
Peter Höfner <Peter.Hoefner-3w/[email protected]> • #2900
JELIA 2012 Call for Participation
Tue, 10 Jul 2012 17:10:17 +0200
Andreas Herzig <[email protected]> • #2899
Re: 4 LECTURERS IN COMPUTER SCIENCE
Tue, 10 Jul 2012 04:38:59 -0700 (PDT)
[email protected] • #2898
Call for Papers Co-LP Workshop 2012
Fri, 6 Jul 2012 19:26:03 +0200 (CEST)
Neda Saeedloei <[email protected]> • #2897
VMCAI 2013: Call for Papers
Wed, 4 Jul 2012 13:24:32 +0000
Josh Berdine <[email protected]> • #2896
FSFLA 2012: 2nd announcement
Mon, 2 Jul 2012 23:03:54 +0200
"GRLMC" <[email protected]> • #2895
ESSLLI 2012 call for participation
Tue, 3 Jul 2012 17:10:15 +0200
"A. Herzig" <[email protected]> • #2894
KI 2012: Last Call for Poster and Demo Contributions
Tue, 03 Jul 2012 13:33:35 +0200
Daniel Sonntag <[email protected]> • #2893
DEADLINE EXTENSION: CHR 2012 Workshop
Mon, 2 Jul 2012 11:50:33 +0200
Jon Sneyers <[email protected]> • #2892
ICFP 2012: Call for participation
Mon, 2 Jul 2012 13:47:38 +0200
Wouter Swierstra <[email protected]> • #2891
RR2012: CALL FOR PARTICIPATION - Early registration deadline approaching
Sat, 30 Jun 2012 16:08:21 +0200
Francesco Calimeri <[email protected]> • #2890
Call for participation - 28th International Conference on Logic Programming (ICLP 2012)
Thu, 28 Jun 2012 12:26:20 +0000
"Gergely Lukacsy (glukacsy)" <[email protected]> • #2889
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.