gmane.comp.lang.lambda-prolog archive

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

SEMANTiCS 2015, Vienna, Call for Research & Innovation Papers
Fri, 01 May 2015 02:15:23 +0200
Sebastian Hellmann <[email protected]> • #3210
[TFP'15] call for participation
Fri, 01 May 2015 14:41:50 +0200
Peter Achten <[email protected]> • #3209
Postdoc positions at Inria-Saclay
Tue, 28 Apr 2015 10:35:30 +0200
Dale Miller <[email protected]> • #3208
Projects Showcase at STAF'15 - Deadline Extension
Mon, 27 Apr 2015 22:11:00 +0200 (CEST)
[email protected] • #3207
CALL FOR APPLICATIONS - The 11th Reasoning Web Summer School (RW 2015)
Thu, 23 Apr 2015 19:07:08 +0200
Luca Pulina <[email protected]> • #3206
CfP LPNMR 2015: ***Last call***, registration closes in 33 hours
Thu, 23 Apr 2015 23:29:36 +0200
Francesco Calimeri <[email protected]> • #3205
RR 2015 Doctoral Consortium - Call for Papers
Thu, 23 Apr 2015 18:56:57 +0200
Luca Pulina <[email protected]> • #3204
AI4FM 2015: Call for Short Contributions
Tue, 21 Apr 2015 08:58:28 +0000
Iain Whiteside <[email protected]> • #3203
Projects Showcase at STAF'15 - Reminder Abstract Submission
Mon, 20 Apr 2015 10:57:28 +0200 (CEST)
[email protected] • #3202
LPNMR 2015 Invitation to submit - 11 days to the deadline
Sun, 19 Apr 2015 14:34:36 +0200
Francesco Calimeri <[email protected]> • #3201
CfP LPNMR 2015: DEADLINES UPDATE
Fri, 17 Apr 2015 22:40:02 +0200
Francesco Calimeri <[email protected]> • #3200
LSFA 2015 -- 3rd cfp (with a deadline extension)
Thu, 9 Apr 2015 12:46:42 -0300
Elaine Pimentel <[email protected]> • #3198
CfP LPNMR 2015 Announcement: SUBMISSIONS NOW OPEN!
Tue, 7 Apr 2015 19:08:20 +0200
Francesco Calimeri <[email protected]> • #3197
SEMANTiCS 2015, Vienna, Call for Research & Innovation Papers
Thu, 02 Apr 2015 10:34:03 +0300
Sebastian Hellmann <[email protected]> • #3195
[Eacsl-announce] Ackermann Award 2015
Thu, 02 Apr 2015 18:43:32 +0100
European Association of Computer Science Logic <[email protected]> • #3194
FOCLASA 2015 - 2nd Call For Papers
Mon, 23 Mar 2015 14:14:50 +0100 (CET)
[email protected] • #3193
InfoSec 2015: registration deadline 3 April
Sun, 22 Mar 2015 12:02:24 +0100
"GRLMC" <[email protected]> • #3192
LSFA 2015 - SECOND CALL FOR PAPERS
Mon, 16 Mar 2015 13:32:39 -0300
Elaine Pimentel <[email protected]> • #3191
Ackermann Award 2015
Wed, 18 Mar 2015 16:28:16 +0000
European Association of Computer Science Logic <[email protected]> • #3190
[TFP'15] final call for papers - deadline extended march 31 -
Wed, 18 Mar 2015 11:03:11 +0100
Peter Achten <[email protected]> • #3189
RR 2015 -- DEADLINE FOR ABSTRACTS TOMORROW!
Tue, 10 Mar 2015 16:38:40 +0100
Luca Pulina <[email protected]> • #3188
CfPart: FSEN 2015
Sat, 07 Mar 2015 10:49:32 -0500
Marjan Sirjani <[email protected]> • #3187
CALL FOR APPLICATIONS -- The 11th Reasoning Web Summer School (RW 2015)
Fri, 06 Mar 2015 15:15:24 +0100
Luca Pulina <[email protected]> • #3186
SCART 2015 - 1st Call for Papers (at SEFM 2015)
Thu, 5 Mar 2015 19:16:45 +0100 (CET)
Alexander Perucci <[email protected]> • #3185
RR 2015 -- 3rd CALL FOR PAPERS - DEADLINES EXTENSION
Thu, 05 Mar 2015 13:59:12 +0100
Luca Pulina <[email protected]> • #3184
[TFPIE 2015] 2nd call for papers
Thu, 05 Mar 2015 09:11:01 +0100
Peter Achten <[email protected]> • #3183
InfoSec 2015: registration deadline 3 March
Sun, 22 Feb 2015 12:50:41 +0100
"GRLMC" <[email protected]> • #3182
FOCLASA 2015 - 1st Call For Papers
Fri, 20 Feb 2015 15:42:14 +0100 (CET)
Alexander Perucci <[email protected]> • #3181
NFM 2015 - CALL FOR PARTICIPATION
Thu, 19 Feb 2015 08:31:38 -0800
Klaus Havelund <[email protected]> • #3180
PPDP 2015: 2nd call for papers
Thu, 19 Feb 2015 15:32:40 +0100
FALASCHI MORENO <[email protected]> • #3179
RR 2015 -- 2nd CALL FOR PAPERS
Thu, 19 Feb 2015 09:40:34 +0100
Luca Pulina <[email protected]> • #3178
LOPSTR 2015: 2nd Call for Papers
Thu, 19 Feb 2015 15:28:17 +0100
FALASCHI MORENO <[email protected]> • #3177
ICFP 2015: Final Call for Papers
Fri, 13 Feb 2015 11:29:19 -0500
David Van Horn <[email protected]> • #3176
[TFP 2015] 2nd call for papers
Fri, 13 Feb 2015 14:44:14 +0100
Peter Achten <[email protected]> • #3175
LATA 2015: call for participation
Sat, 7 Feb 2015 16:41:41 +0100
"GRLMC" <[email protected]> • #3174
LCTES 2015: 2nd Call for Papers
Tue, 3 Feb 2015 21:22:33 +0100
Klaus Havelund <[email protected]> • #3173
[RR 2015] Call For Papers -- Deadline in 1 month!
Tue, 03 Feb 2015 10:51:09 +0100
Luca Pulina <[email protected]> • #3172
LSFA 2015
Fri, 30 Jan 2015 18:43:21 -0300
Elaine Pimentel <[email protected]> • #3171
Ackermann Award 2015
Fri, 30 Jan 2015 09:39:02 +0000
European Association of Computer Science Logic <[email protected]> • #3170
InfoSec 2015: registration deadline 3 February
Sun, 25 Jan 2015 10:54:40 +0100
"GRLMC" <[email protected]> • #3168
UCL: Faculty Position in Programming Principles, Logic, and Verification
Sat, 24 Jan 2015 11:56:54 +0000
"Pym, David" <[email protected]> • #3167
Mathematics of Program Construction (MPC 2015): final call for papers
Thu, 15 Jan 2015 13:37:50 +0000
José Pedro Magalhães <[email protected]> • #3166
SEMANTiCS 2015, Vienna, Call for Research & Innovation Papers
Thu, 15 Jan 2015 09:56:51 +0100
Sebastian Hellmann <[email protected]> • #3165
CFP: EMAS@AAMAS2015 (Engineering Multi-Agent Systems)
Tue, 06 Jan 2015 20:35:12 +0100
Matteo Baldoni <[email protected]> • #3163
CfP LPNMR 2015 Announcement: Associated Events
Sat, 3 Jan 2015 11:42:23 +0100
Francesco Calimeri <[email protected]> • #3162
NAT@Logic 2015
Thu, 25 Dec 2014 16:17:07 -0500
Elaine Pimentel <[email protected]> • #3161
LOPSTR 2015 call for papers -- 25th International Symposium on Logic-Based Program Synthesis and Transformation -- Siena, Italy
Mon, 22 Dec 2014 16:02:55 +0100
FALASCHI MORENO <[email protected]> • #3160
First CFP: CRV15 - 2nd Competition on Runtime Verification
Fri, 19 Dec 2014 12:25:10 +0200
Yliès Falcone <[email protected]> • #3159
CFP: TFPIE 2015
Fri, 19 Dec 2014 08:50:17 +0100
Peter Achten <[email protected]> • #3158
[TFP 2015] 1st call for papers
Fri, 19 Dec 2014 17:49:43 +0100
Peter Achten <[email protected]> • #3157
LCTES 2015: First CFP
Thu, 11 Dec 2014 08:06:40 +0100
Klaus Havelund <[email protected]> • #3156
InfoSec 2015: 1st announcement
Sun, 7 Dec 2014 21:16:24 +0100
"GRLMC" <[email protected]> • #3155
CfP LPNMR 2015 Announcement: selected papers to appear in AI Journal and TPLP
Tue, 2 Dec 2014 00:39:36 +0100
Francesco Calimeri <[email protected]> • #3154
PPDP2015 First Call for papers -- 17th International Symposium on Principles and Practice of Declarative Programming
Sun, 30 Nov 2014 11:27:34 +0100
FALASCHI MORENO <[email protected]> • #3153
ICFP 2015: Call for Papers
Fri, 7 Nov 2014 11:46:41 -0500
David Van Horn <[email protected]> • #3152
Post Doc available, University of Bologna
Thu, 6 Nov 2014 16:57:01 +0100
Dale Miller <[email protected]> • #3151
Multiple postdoc positions in formal methods for cyber security
Mon, 3 Nov 2014 10:01:39 +0800
Alwen Tiu <[email protected]> • #3150
NFM 2015 - deadline extension: Nov 18
Mon, 3 Nov 2014 19:37:36 +0100
Klaus Havelund <[email protected]> • #3149
TPNC 2014: call for participation
Sat, 1 Nov 2014 18:34:33 +0100
"GRLMC" <[email protected]> • #3148
NFM 2015 - final call for papers
Sun, 26 Oct 2014 07:40:36 -0700
Klaus Havelund <[email protected]> • #3147
FSEN 2015 Deadline Extension
Sat, 25 Oct 2014 23:19:43 -0400
Marjan Sirjani <[email protected]> • #3146
Fwd: ICALP 2015: Call for papers
Mon, 20 Oct 2014 10:02:25 +0200
Dale Miller <[email protected]> • #3145
TLCA: 1st CALL for PAPERS
Thu, 16 Oct 2014 08:06:11 +0200
Luca <[email protected]> • #3143
ICFP 2015 Call for Workshop and Co-located Event Proposals
Thu, 9 Oct 2014 18:33:14 -0400
David Van Horn <[email protected]> • #3142
Final CFP: FSEN 2015
Tue, 07 Oct 2014 13:20:31 -0400
Marjan Sirjani <[email protected]> • #3141
LATA 2015: extended submission deadline 16 October
Sat, 4 Oct 2014 22:19:51 +0200
"GRLMC" <[email protected]> • #3140
NFM 2015 - 3rd call for papers
Sat, 4 Oct 2014 11:17:21 -0700
Klaus Havelund <[email protected]> • #3139
CPP 2015: second call for papers
Fri, 26 Sep 2014 16:06:34 +0800
Alwen Tiu <[email protected]> • #3138
CiE 2015: Evolving Computability - Bucharest, 29/6-3/7/2015
Thu, 25 Sep 2014 21:12:05 +0100 (BST)
CiE Conference Series <[email protected]> • #3137
Last CFP: ACM Symposium on Applied Computing Software Verification and Testing Track
Tue, 23 Sep 2014 09:21:26 -0400
Ylies Falcone <[email protected]> • #3136
LPNMR 2015 - Preliminary Call for Papers - 13th International Conference on Logic Programming and Non-monotonic Reasoning
Tue, 16 Sep 2014 23:00:42 +0200
Francesco Calimeri <[email protected]> • #3135
LATA 2015: 3rd call for papers
Sun, 14 Sep 2014 13:08:26 +0200
"GRLMC" <[email protected]> • #3134
Third call for papers, IFL 2014
Tue, 02 Sep 2014 00:23:35 -0700 (PDT)
[email protected] • #3133
SCSS 2014: Call for short and work-in-progress papers
Mon, 01 Sep 2014 15:26:02 +0200
Temur Kutsia <[email protected]> • #3132
Second Call for Papers: FSEN 2015
Wed, 27 Aug 2014 11:37:58 -0400
Marjan Sirjani <[email protected]> • #3131
LATA 2015: 2nd call for papers
Sat, 23 Aug 2014 18:19:03 +0200
"GRLMC - URV" <[email protected]> • #3130
Fellow ticket discount for the SEMANTiCS conference Leipzig
Wed, 06 Aug 2014 15:01:55 +0200
Sebastian Hellmann <[email protected]> • #3128
ICFP 2014 Final Call for Participation
Fri, 1 Aug 2014 17:51:58 -0400
David Van Horn <[email protected]> • #3127
RV 2014: Call for Participation
Mon, 28 Jul 2014 21:16:42 +0200
Runtime Verification <[email protected]> • #3126
PPDP 2014: Program and 2nd Call for Participation
Sun, 27 Jul 2014 14:56:11 +0200
Jacob Johannsen <[email protected]> • #3125
LATA 2015: 1st call for papers
Sat, 26 Jul 2014 21:00:32 +0200
"GRLMC" <[email protected]> • #3124
Call for Papers: CPP 2015 -- Certified Programs and Proofs
Thu, 17 Jul 2014 22:28:25 +0800
Alwen Tiu <[email protected]> • #3123
TPNC 2014: extended submission deadline 24 July
Sat, 12 Jul 2014 18:31:00 +0200
"GRLMC" <[email protected]> • #3122
PPDP 2014 Call for Participation
Sat, 12 Jul 2014 00:08:30 +0200
Jacob Johannsen <[email protected]> • #3121
ACM SAC 2015: Software Verification and Testing Track - Second CfP
Fri, 4 Jul 2014 17:11:09 +0200 (CEST)
[email protected] • #3120
Call for Participation: SEFM 2014
Fri, 4 Jul 2014 14:27:10 +0200 (CEST)
[email protected] • #3119
Call for Participation: 7th International School on Rewriting, ISR 2014
Thu, 3 Jul 2014 14:05:49 +0200
Christophe Ringeissen <[email protected]> • #3118
ICFP 2014 Call for Participation
Thu, 26 Jun 2014 14:56:11 -0400
David Van Horn <[email protected]> • #3117
[logical-books] Books for Programming in Logic
Mon, 23 Jun 2014 12:37:18 +0200
Thom Fruehwirth <[email protected]> • #3116
SCSS 2014: Deadline extension
Tue, 24 Jun 2014 19:15:30 +0200
Temur Kutsia <[email protected]> • #3115
WADT 2014 - 3rd Call for Papers
Sun, 15 Jun 2014 20:10:40 +0300
2014 wadt <[email protected]> • #3114
TPNC 2014: 3rd call for papers
Sun, 15 Jun 2014 19:34:31 +0200
"GRLMC" <[email protected]> • #3113
Vienna Summer of Logic: Call for Participation
Fri, 13 Jun 2014 17:19:32 +0200
Dale Miller <[email protected]> • #3112
ACM SAC 2015: Software Verification and Testing Track - First CfP
Tue, 10 Jun 2014 11:18:37 +0200 (CEST)
[email protected] • #3110
BigDat 2015: June 23, 2014 - 1st registration deadline
Sun, 8 Jun 2014 11:09:55 +0200
"GRLMC" <[email protected]> • #3108
WADT 2014 - 2nd Call for Papers
Fri, 6 Jun 2014 10:40:21 +0300
2014 wadt <[email protected]> • #3107
ITP'14: early registration deadline approaching
Thu, 5 Jun 2014 10:23:42 +0000
Gerwin Klein <[email protected]> • #3106
LFMTP 2014: Call for Participation
Thu, 05 Jun 2014 11:36:32 +0200
Amy Felty <[email protected]> • #3105
UNIF 2014: Call for Participation
Sun, 01 Jun 2014 15:05:50 +0200
Temur Kutsia <[email protected]> • #3104
2nd CfP: SCSS 2014
Sun, 01 Jun 2014 11:01:09 +0200
Temur Kutsia <[email protected]> • #3103
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.