gmane.comp.lang.lambda-prolog archive

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

SSTiC 2014: June 7, early registration deadline
Sat, 31 May 2014 16:22:46 +0200
"GRLMC" <[email protected]> • #3102
First Call for Papers: FSEN 2015
Wed, 28 May 2014 10:29:05 -0400
FSEN <[email protected]> • #3101
PhD Studentship at UCL: Algebra and Logic for Policy and Utility in Information Security
Tue, 27 May 2014 11:40:51 +0000
"Pym, David" <[email protected]> • #3100
Second Call for Papers: Workshops Colocated with SEFM 2014
Fri, 23 May 2014 14:41:41 +0200 (CEST)
[email protected] • #3099
SEMANTICS 2014 - 2nd Call for Papers + Poster + Demos
Thu, 22 May 2014 16:22:53 +0200
SEMANTiCS <[email protected]> • #3098
ISR 2014: call for participation
Tue, 20 May 2014 09:11:49 +0200
Temur Kutsia <[email protected]> • #3097
ICFP 2014 Student Research Competition: Call for Submissions
Fri, 16 May 2014 16:30:30 -0400
David Van Horn <[email protected]> • #3096
First call for papers IFL 2014
Thu, 15 May 2014 02:56:18 -0700 (PDT)
[email protected] • #3095
CFP: WFLP 2014 - Workshop on Functional and (Constraint) Logic Programming
Wed, 14 May 2014 10:27:28 +0200
Michael Hanus <[email protected]> • #3094
Post-doc position at Convecs team (Inria/LIG)
Mon, 12 May 2014 11:27:11 +0200
Wendelin Serwe <[email protected]> • #3093
TPNC 2014: 2nd call for papers
Sat, 10 May 2014 13:04:22 +0200
"GRLMC" <[email protected]> • #3092
[TFPIE2014] final call for participation
Fri, 09 May 2014 15:38:32 +0200
Peter Achten <[email protected]> • #3091
WADT 2014 - 1st Call for Papers
Fri, 9 May 2014 12:49:07 +0300
2014 wadt <[email protected]> • #3090
PPDP 2014: 2nd Call for Papers
Fri, 2 May 2014 22:19:54 +0200
Jacob Johannsen <[email protected]> • #3089
VeriSure 2014 Call for Papers
Thu, 01 May 2014 17:42:30 -0700
Sam Owre <[email protected]> • #3088
SSTiC 2014: May 10, 6th registration deadline
Sat, 26 Apr 2014 21:47:20 +0200
"GRLMC" <[email protected]> • #3087
Call for Papers: Workshops Colocated with SEFM 2014
Mon, 14 Apr 2014 17:08:28 +0200 (CEST)
Lina Ye <[email protected]> • #3086
DEADLINE is TODAY: 2nd International Summer School on Cyber-Physical Systems
Mon, 14 Apr 2014 08:39:28 +0200
Ylies Falcone <[email protected]> • #3085
PPDP 2014: Call for Papers
Fri, 11 Apr 2014 19:12:19 +0200
Jacob Johannsen <[email protected]> • #3084
RV 2014, Deadlines extended: abstract April 18, full paper April 25
Thu, 10 Apr 2014 07:39:46 +0200
Runtime Verification <[email protected]> • #3083
LFMTP 2014: 2nd Call for Papers
Wed, 09 Apr 2014 20:40:57 +0200
Amy Felty <[email protected]> • #3082
CiE 2014: Language, Life, Limits - Call for Presentations, Registration
Tue, 8 Apr 2014 21:37:10 +0100 (BST)
CiE Conference Series <[email protected]> • #3080
Last CfP: UNIF 2014
Thu, 03 Apr 2014 22:27:52 +0200
Temur Kutsia <[email protected]> • #3079
[TFPIE2014] final call for papers
Tue, 01 Apr 2014 16:36:48 +0200
Peter Achten <[email protected]> • #3078
Call for Participation: 7th International School on Rewriting, ISR 2014
Tue, 1 Apr 2014 20:14:20 +0200
Christophe Ringeissen <Christophe.Ringeissen-/[email protected]> • #3077
2nd International Summer School on Cyber-Physical Systems, GRENOBLE (FRANCE) JULY 7-10, 2014
Mon, 31 Mar 2014 20:01:26 +0200
Ylies Falcone <[email protected]> • #3076
[TFP2014] First Call for Participation
Tue, 01 Apr 2014 13:08:59 +0200
Peter Achten <[email protected]> • #3075
RV 2014: LAST Call for Papers, Deadline in 1 week
Mon, 31 Mar 2014 10:29:40 +0200
Runtime Verification <[email protected]> • #3074
SSTiC 2014: April 12, 5th registration deadline
Sat, 29 Mar 2014 19:11:13 +0100
"GRLMC" <[email protected]> • #3073
PhD and PostDoc positions available in LIX & INRIA-Saclay
Fri, 28 Mar 2014 15:58:38 +0100
Dale Miller <[email protected]> • #3072
AI4FM 2014: Call for Participation
Tue, 25 Mar 2014 16:19:52 +0000
Iain Whiteside <[email protected]> • #3071
RV 2014: Call for Papers, Deadline in 2 weeks
Sun, 23 Mar 2014 16:44:09 +0900
Runtime Verification <[email protected]> • #3070
RV 2014: 3rd Call for Papers, Deadline in 3 weeks
Tue, 18 Mar 2014 15:26:25 +0900
Runtime Verification <[email protected]> • #3069
SEFM 2014: Extended Deadlines
Mon, 17 Mar 2014 17:57:25 +0100 (CET)
[email protected] • #3068
[UPDATE] 5th Answer Set Programming Competition 2014 - CALL FOR PARTICIPANTS
Fri, 14 Mar 2014 20:47:47 +0100
Francesco Calimeri <[email protected]> • #3067
[TFP2014] Final Call For Papers
Tue, 11 Mar 2014 09:38:56 +0100
Peter Achten <[email protected]> • #3066
SSTiC 2014: March 15, 4th registration deadline
Sat, 8 Mar 2014 11:59:42 +0100
"GRLMC" <[email protected]> • #3065
CiE 2014: Language, Life, Limits - Grants, and Call for Presentations
Thu, 6 Mar 2014 21:17:11 +0000 (GMT)
CiE Conference Series <[email protected]> • #3064
SEFM 2014: Final Call for Papers
Wed, 5 Mar 2014 17:38:34 +0100 (CET)
[email protected] • #3063
2nd CfP: UNIF 2014
Tue, 04 Mar 2014 15:32:04 +0100
Temur Kutsia <[email protected]> • #3062
JLC Special Issue on Logics for Resources, Processes, and Programs
Mon, 3 Mar 2014 17:26:34 +0000
"Pym, David" <[email protected]> • #3061
Three PhD Scholarships at UCL
Mon, 3 Mar 2014 15:50:45 +0000
"Pym, David" <[email protected]> • #3060
*Deadline extended* Final call for contributions AI4FM 2014
Tue, 25 Feb 2014 14:03:26 +0000
Iain Whiteside <[email protected]> • #3059
Two PhD positions in LIAFA, Paris, France: Software verification and Model-checking for malware detection
Mon, 24 Feb 2014 13:12:32 +0100
Tayssir Touili <[email protected]> • #3058
LFMTP 2014: Call for Papers
Fri, 21 Feb 2014 23:04:30 +0100
Amy Felty <[email protected]> • #3057
Ackermann Award 2014
Mon, 17 Feb 2014 10:13:44 +0000
Reinhard Kahle <[email protected]> • #3056
LATA 2014: call for participation
Sun, 16 Feb 2014 12:01:11 +0100
"GRLMC" <[email protected]> • #3055
RV 2014: 2nd Call for Papers, Deadline in 2 months
Tue, 11 Feb 2014 22:30:47 +0100
Runtime Verification <[email protected]> • #3054
SSTiC 2014: February 15, 3rd registration deadline
Sat, 8 Feb 2014 15:39:35 +0100
"GRLMC" <[email protected]> • #3053
2nd Call for Papers - TFPIE 2014
Thu, 06 Feb 2014 14:34:31 +0100
Peter Achten <[email protected]> • #3052
AI4FM 2014: Call for Short Contributions
Thu, 6 Feb 2014 17:03:37 +0000
Iain Whiteside <[email protected]> • #3051
5th Answer Set Programming Competition 2014 - CALL FOR PARTICIPANTS
Mon, 3 Feb 2014 23:50:56 +0100
Francesco Calimeri <[email protected]> • #3050
TFP 2014 - 2nd call for papers
Fri, 31 Jan 2014 09:58:29 +0100
Peter Achten <[email protected]> • #3049
Post-doc position at UCL
Mon, 27 Jan 2014 08:36:05 +0000
David Pym <[email protected]> • #3048
SEFM 2014: Second Call for Papers and Workshop Proposals
Tue, 14 Jan 2014 15:24:48 +0100 (CET)
[email protected] • #3047
CfP: UNIF 2014
Mon, 13 Jan 2014 14:44:37 +0100
Temur Kutsia <[email protected]> • #3046
SSTiC 2014: January 18, 2nd registration deadline
Sat, 11 Jan 2014 19:52:33 +0100
"GRLMC" <[email protected]> • #3045
5th Answer Set Programming Competition 2014 - FIRST CALL FOR PARTICIPANTS
Fri, 10 Jan 2014 18:12:41 +0100
Francesco Calimeri <[email protected]> • #3044
CiE 2014: Language, Life, Limits - extended deadline
Sat, 11 Jan 2014 15:14:57 +0000 (GMT)
CiE Conference Series <[email protected]> • #3043
ICFP 2014: Call for papers
Tue, 7 Jan 2014 20:49:05 -0500
David Van Horn <[email protected]> • #3042
Deadline extension: JSC - SCSS special issue
Tue, 07 Jan 2014 17:36:51 +0100
Temur Kutsia <[email protected]> • #3041
CiE 2014: Language, Life, Limits - Budapest, 23-27 June 2014
Fri, 3 Jan 2014 14:25:23 +0000 (GMT)
CiE Conference Series <[email protected]> • #3040
Call for Papers: ITP 2014
Fri, 20 Dec 2013 20:04:32 +1100
Gerwin Klein <[email protected]> • #3039
FORTE 2014 Call for Papers
Tue, 17 Dec 2013 18:01:55 +0100
Erika Abraham <[email protected]> • #3038
Subject: Subject: 2nd CFP: CiE 2014: Language, Life, Limits - Budapest, Hungary, 23-27 June, 2014
Sun, 15 Dec 2013 21:53:30 +0000 (GMT)
CiE Conference Series <[email protected]> • #3037
SSTiC 2014: December 21st, 1st registration deadline
Sun, 15 Dec 2013 22:19:36 +0100
"GRLMC" <[email protected]> • #3036
ITP 2015 - Call for Bids
Thu, 12 Dec 2013 23:43:54 +0000
Gerwin Klein <[email protected]> • #3035
[TFP 2014] 1st Call For Papers
Tue, 03 Dec 2013 15:57:53 +0100
Peter Achten <[email protected]> • #3034
AI4FM 2014: Call for Short Contributions
Tue, 3 Dec 2013 10:46:43 +0000
Iain Whiteside <[email protected]> • #3033
Call for Workshops - Symposium on Automated Technology for Verification and Analysis (ATVA)
Tue, 3 Dec 2013 13:43:33 +1100
Peter Höfner <[email protected]> • #3032
JLC Special Issue: Logics for Resources, Processes, and Programs
Fri, 29 Nov 2013 16:13:59 +0000
David Pym <[email protected]> • #3031
1st Intl. Competition of Software for Runtime Verification: call for participation
Mon, 25 Nov 2013 21:37:11 +0100
Runtime Verification <[email protected]> • #3030
SSTiC 2014: 1st announcement
Sun, 24 Nov 2013 17:47:37 +0100
"GRLMC" <[email protected]> • #3029
TPNC 2013: call for participation
Tue, 5 Nov 2013 21:06:10 +0100
"GRLMC - URV" <[email protected]> • #3027
CiE 2014: Language, Life, Limits. Call for Papers
Fri, 1 Nov 2013 23:58:24 +0000 (GMT)
CiE Conference Series <[email protected]> • #3025
ICFP 2014: Call for Workshop & Co-located Even Proposals
Wed, 30 Oct 2013 14:42:52 -0400
David Van Horn <[email protected]> • #3024
Call for papers - VEE'14: 10th ACM Conference on Virtual Execution Environments
Sun, 20 Oct 2013 16:45:45 +0300
Erez Petrank <[email protected]> • #3023
CfP: JSC Special Issue on Symbolic Computation in Software Science
Mon, 14 Oct 2013 12:01:05 +0200
Temur Kutsia <[email protected]> • #3022
LATA 2014: extended submission deadline 21 October
Sat, 12 Oct 2013 17:58:05 +0200
"GRLMC" <[email protected]> • #3021
TPNC 2013: 2nd call for posters
Sat, 5 Oct 2013 19:35:01 +0200
"GRLMC" <[email protected]> • #3020
LATA 2014: 3rd call for papers
Sun, 15 Sep 2013 12:35:14 +0200
"GRLMC" <[email protected]> • #3019
Call for abstracts/participation: LIX Colloquium 2013: The Theory and Application of Formal Proofs
Mon, 9 Sep 2013 11:57:46 +0200
Dale Miller <[email protected]> • #3018
TPNC 2013: call for posters
Mon, 9 Sep 2013 23:11:41 +0200
"GRLMC" <[email protected]> • #3017
CIE 2014: Language, Life, Limits. June 23-27, 2014, Budapest. Preliminary Announcement.
Mon, 26 Aug 2013 16:02:32 +0100
CiE Conference Series <[email protected]> • #3016
FroCoS 2013 Last Call for Participation
Mon, 26 Aug 2013 16:51:14 +0200
Christophe Ringeissen <Christophe.Ringeissen-/[email protected]> • #3015
ICFP 2013 Call for Participation
Thu, 22 Aug 2013 13:56:47 -0400
David Van Horn <[email protected]> • #3014
Call for participation IFL 2013
Fri, 16 Aug 2013 11:17:44 -0700 (PDT)
[email protected] • #3013
LATA 2014: 2nd call for papers
Sun, 18 Aug 2013 11:06:01 +0200
"GRLMC" <[email protected]> • #3012
Call for Participation: Kiel Declarative Programming Days 2013
Mon, 12 Aug 2013 13:38:15 +0200 (CEST)
[email protected] (Michael Hanus) • #3010
[Announcement] Release of Abella Version 2.0.0
Sun, 21 Jul 2013 15:25:37 -0500
Yuting Wang <[email protected]> • #3009
VMCAI 2014: Call for Papers
Sat, 20 Jul 2013 19:54:00 +0200
Xavier Rival <[email protected]> • #3008
LATA 2014: 1st call for papers
Sat, 20 Jul 2013 17:25:13 +0200
"GRLMC" <[email protected]> • #3007
Call for Papers PEPM 2014
Wed, 17 Jul 2013 02:29:48 -0700 (PDT)
[email protected] • #3006
Call for Papers IFL 2013
Tue, 16 Jul 2013 11:49:32 -0700 (PDT)
[email protected] • #3005
FroCoS 2013 Call for Participation
Wed, 3 Jul 2013 16:51:05 +0200
Christophe Ringeissen <christophe.ringeissen-/[email protected]> • #3004
SSTiC 2013: last call
Sat, 29 Jun 2013 16:52:48 +0200
"GRLMC" <[email protected]> • #3003
Call for Papers: Kiel Declarative Programming Days 2013
Thu, 27 Jun 2013 13:27:49 +0200 (CEST)
[email protected] (Michael Hanus) • #3002
LRPP 2013 @ Tableaux 2013: Last Call for Papers: Deadline 26 July 2013
Wed, 26 Jun 2013 13:55:09 +0100
"Pym, Professor David J." <[email protected]> • #3001
Call for Papers IFL 2013
Sun, 16 Jun 2013 11:59:05 -0700 (PDT)
[email protected] • #3000
SSTiC 2013: next registration deadline 26 June
Sun, 16 Jun 2013 10:45:12 +0200
"GRLMC" <[email protected]> • #2999
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.