gmane.comp.lang.lambda-prolog archive

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

RR 2016 Second Call for Papers
Thu, 12 May 2016 15:30:36 +0200
Magdalena Ortiz <[email protected]> • #3318
NFM 2016 - Call for participation
Thu, 5 May 2016 06:19:21 -0700
Klaus Havelund <[email protected]> • #3315
[TFP'16] call for participation
Mon, 2 May 2016 09:05:59 +0200
Peter Achten <[email protected]> • #3314
SUBMISSION DEADLINE EXTENSION - 3rd CfP and Dedicated Thematic Series On Springer Jisa Journal
Fri, 29 Apr 2016 11:03:58 +0200 (CEST)
[email protected] • #3313
SEMANTiCS 2016, Leipzig, Sep 12-15, Extended Submission Deadline May 10, 2016
Fri, 22 Apr 2016 15:27:38 +0200
Sebastian Hellmann <[email protected]> • #3312
DEADLINE APPROACHING - 3rd CfP and Dedicated Thematic Series On Springer Jisa Journal
Fri, 22 Apr 2016 13:54:24 +0200 (CEST)
[email protected] • #3311
Call for Papers - 30th Workshop on Logic Programming (WLP 2016)
Thu, 21 Apr 2016 10:25:51 +0200
Sibylle Schwarz <[email protected]> • #3309
[TFP 2016] extended deadline, april 25 2016, final call for papers
Tue, 12 Apr 2016 09:36:16 +0200
Peter Achten <[email protected]> • #3308
Call for Papers, LRPP 2016
Sun, 3 Apr 2016 18:31:01 +0000
"Pym, David" <[email protected]> • #3307
[TFP 2016] Final call for papers
Fri, 1 Apr 2016 17:07:48 +0200
Peter Achten <[email protected]> • #3306
[VeryComp 2016] - 2nd CfP and Dedicated Thematic Series on Springer JISA Journal
Fri, 1 Apr 2016 10:25:37 +0200 (CEST)
[email protected] • #3305
SEMANTiCS 2016, Leipzig, Sep 12-15, 2nd Call for Research & Innovation Papers
Thu, 24 Mar 2016 14:34:51 +0100
Sebastian Hellmann <[email protected]> • #3304
[TFPIE 2016] 2nd call for papers
Tue, 22 Mar 2016 14:26:03 +0100
Peter Achten <[email protected]> • #3303
CiE 2016: Pursuit of the Universal - Call for Informal Presentations - Paris, 27/6-1/7/2016
Fri, 18 Mar 2016 10:32:29 +0000 (GMT)
CiE Conference Series <[email protected]> • #3302
Ackermann Award 2016
Sat, 12 Mar 2016 20:56:59 +0000
European Association of Computer Science Logic <[email protected]> • #3301
CSL 2016 - 2nd call for papers
Fri, 11 Mar 2016 16:00:00 +0000
European Association of Computer Science Logic <[email protected]> • #3300
Call for contributions PCC'16 - Proof, Computation and Complexity, May 5-6, 2016, in Munich
Thu, 10 Mar 2016 16:44:31 +0000
Reinhard Kahle <[email protected]> • #3299
iFM 2016 Call for Participation
Thu, 10 Mar 2016 14:41:13 +0100
Erika Abraham <[email protected]> • #3298
The 10th International Web Rule Symposium (RuleML) 2016 Call for Papers
Mon, 7 Mar 2016 19:43:38 -0500
PF <[email protected]> • #3296
[VeryComp 2016] - 1st Call for Paper
Fri, 4 Mar 2016 11:17:15 +0100 (CET)
[email protected] • #3295
ICFP 2016 Final Call for Papers
Wed, 2 Mar 2016 23:56:11 -0800
Lindsey Kuper <[email protected]> • #3294
CFP: Logical Frameworks and Meta-Languages: Theory and Practice
Wed, 2 Mar 2016 14:42:03 -0600
Andrew Gacek <[email protected]> • #3293
[TFP 2016] 2nd call for papers
Tue, 1 Mar 2016 09:01:33 +0100
Peter Achten <[email protected]> • #3292
QBFEVAL'16 - Deadlines extension!
Sun, 28 Feb 2016 11:29:21 +0100
Luca Pulina <[email protected]> • #3291
SEMANTiCS 2016, Leipzig, Sep 12-15, Call for Industry & Transfer Tutorials and Workshops
Wed, 24 Feb 2016 14:23:17 +0100
Sebastian Hellmann <[email protected]> • #3290
SEMANTiCS 2016, Leipzig, Sep 12-15, Call for Scientific Workshops
Wed, 24 Feb 2016 14:02:29 +0100
Sebastian Hellmann <[email protected]> • #3289
QBFEVAL'16 - Solver submission deadline approaching
Tue, 23 Feb 2016 15:12:03 +0100
Luca Pulina <[email protected]> • #3288
CPS Week 2016 - Call for Participation
Sat, 20 Feb 2016 17:22:51 +0100
Ezio Bartocci <[email protected]> • #3287
Call for papers: Fifth Workshop on Controlled Natural Language (CNL 2016)
Sat, 20 Feb 2016 22:34:55 +0100
Tobias Kuhn <[email protected]> • #3286
HOAS Techniques in Verified Transformations on Functional Programs
Thu, 18 Feb 2016 18:25:19 -0600
Yuting Wang <[email protected]> • #3285
[TFPIE 2016] 1st call for papers
Tue, 16 Feb 2016 16:37:37 +0100
Peter Achten <[email protected]> • #3284
ICFP 2016 Second Call for Papers
Mon, 8 Feb 2016 22:09:58 -0800
Lindsey Kuper <[email protected]> • #3283
AAMAS-2016 Workshops, Demos & Doctoral Mentoring (2CP & INFO)
Mon, 8 Feb 2016 23:52:31 +0000
Adrian Pearce <[email protected]> • #3282
Call for PhD students: Logical Methods in Computer Science (Vienna, Austria)
Mon, 8 Feb 2016 20:44:48 +0100
Igor Konnov <[email protected]> • #3281
[TFP 2016] 1st call for papers
Tue, 2 Feb 2016 10:35:09 +0100
Peter Achten <[email protected]> • #3280
Fwd: [gdr-im] Poste de MdC. Ecole Polytechnique.
Fri, 29 Jan 2016 14:06:49 +0100
Dale Miller <[email protected]> • #3279
Funded Doctoral Positions in Computer Science in Austria (LogiCS)
Fri, 29 Jan 2016 11:34:45 +0100 (CET)
[email protected] • #3278
NFM 2016 - third call for papers
Tue, 26 Jan 2016 22:33:00 -0800
Klaus Havelund <[email protected]> • #3277
Call for papers: CSL 2016
Fri, 22 Jan 2016 21:03:46 +0000
European Association of Computer Science Logic <[email protected]> • #3276
Call for Nominations: The 2016 Alonzo Church Award for Outstanding Contributions to Logic and Computation
Fri, 22 Jan 2016 22:42:31 +0000
European Association of Computer Science Logic <[email protected]> • #3275
Ackermann Award 2016
Fri, 22 Jan 2016 16:36:33 +0000
European Association of Computer Science Logic <[email protected]> • #3274
QBFEVAL'16 - Second Call for Solvers & Benchmarks
Tue, 19 Jan 2016 10:06:31 +0100
Luca Pulina <[email protected]> • #3273
SEMANTiCS 2016, Leipzig, Sep 12-15, Call for Research & Innovation Papers
Mon, 18 Jan 2016 10:56:37 +0100
Sebastian Hellmann <[email protected]> • #3272
RV 2016, Sept 23-30 2016, Madrid, Spain - 1st Call for Papers and Tutorials
Fri, 15 Jan 2016 18:49:22 +0100
Yliès Falcone <[email protected]> • #3271
UCL: Faculty Position in Programming Principles, Logic, and Verification
Wed, 13 Jan 2016 12:31:13 +0000
"Pym, David" <[email protected]> • #3270
NFM 2016 - second call for papers
Tue, 5 Jan 2016 09:47:40 -0800
Klaus Havelund <[email protected]> • #3269
Ackermann Award 2016 - Call for Nominations
Mon, 4 Jan 2016 18:09:57 +0100
Dale Miller <[email protected]> • #3268
QBFEVAL'16 - Call for Solvers & Benchmarks
Fri, 18 Dec 2015 21:44:50 +0100
Luca Pulina <[email protected]> • #3267
CiE 2016: final CfP EXTENDED DEADLINE
Thu, 17 Dec 2015 22:27:54 +0000 (GMT)
CiE Conference Series <[email protected]> • #3266
IJCAR2016 2nd cfp
Wed, 16 Dec 2015 19:05:30 +0000
Pedro Quaresma <[email protected]> • #3265
First call for submissions: Medical CPS'16 - 7th International Workshop on Medical Cyber Physical System
Tue, 15 Dec 2015 13:07:41 +0100
Ezio Bartocci <[email protected]> • #3264
CiE 2016: Pursuit of the Universal - final CfP - Paris, 27/6-1/7/2016
Wed, 9 Dec 2015 08:47:17 +0000 (GMT)
CiE Conference Series <[email protected]> • #3263
RuleML 2016 Call for Papers
Mon, 7 Dec 2015 12:40:43 -0500
Paul Fodor <[email protected]> • #3262
3rd CFP iFM 2016 (integrated Formal Methods), 1 - 3 June 2016, Reykjavik
Mon, 7 Dec 2015 18:04:50 +0100
Erika Abraham <[email protected]> • #3261
Re: ICFP 2016 Call for Papers
Mon, 7 Dec 2015 00:40:57 -0800
Lindsey Kuper <[email protected]> • #3259
ICFP 2016 Call for Papers
Sun, 06 Dec 2015 03:40:35 +0000
Lindsey Kuper <[email protected]> • #3258
NFM 2016 - first call for papers
Wed, 25 Nov 2015 20:12:11 -0800
Klaus Havelund <[email protected]> • #3257
CiE 2016: Pursuit of the Universal - 2nd CfP - Paris, 27/6-1/7/2016
Mon, 23 Nov 2015 17:39:07 +0000 (GMT)
CiE Conference Series <[email protected]> • #3256
CiE 2016: Pursuit of the Universal - 1st CfP - Paris, 27/6-1/7/2016
Wed, 28 Oct 2015 22:09:06 +0000 (GMT)
CiE Conference Series <[email protected]> • #3255
ICFP 2016 Call for Workshop and Co-located Event Proposals
Fri, 23 Oct 2015 23:42:55 +0000
Lindsey Kuper <[email protected]> • #3254
[CFP] Semantic Web Journal - Special Issue on Quality Management of Semantic Web Assets (Data, Services and Systems) - Only 1 month left
Wed, 7 Oct 2015 10:19:07 +0300
Amrapali Zaveri <[email protected]> • #3253
LPNMR 2015: Call for participation - Hotel Special rate DEADLINE Sep. 2nd, 2015
Mon, 24 Aug 2015 19:25:39 +0200
Francesco Calimeri <[email protected]> • #3250
Call for Participation: SEMANTiCS 2015, 11th International Conference on Semantic Systems
Fri, 21 Aug 2015 12:25:50 +0300
Tassilo Pellegrini <[email protected]> • #3249
FOCLASA 2015 - Call for Participation
Tue, 18 Aug 2015 14:45:59 +0200 (CEST)
[email protected] • #3248
LPNMR 2015 - Call for participation
Mon, 17 Aug 2015 17:41:25 +0200
Francesco Calimeri <[email protected]> • #3247
[CFP] Semantic Web Journal - Special Issue on Quality Management of Semantic Web Assets (Data, Services and Systems)
Mon, 10 Aug 2015 09:10:15 +0300
Jürgen Umbrich <[email protected]> • #3246
[LPNMR 2015] EARLY REGISTRATION CLOSING SOON - Call for Participation (student support grants: NEWS)
Thu, 23 Jul 2015 21:23:48 +0200
Francesco Calimeri <[email protected]> • #3245
ICFP 2015 Call for Participation
Sat, 18 Jul 2015 12:51:18 -0400
David Van Horn <[email protected]> • #3244
[Spam][CSE-Spam-High] TPNC 2015: extended submission deadline 27 July
Sun, 19 Jul 2015 08:20:40 +0200
"GRLMC - URV" <[email protected]> • #3243
[LPNMR 2015] REGISTRATION OPEN - Call for Participation (student support grants available)
Mon, 13 Jul 2015 15:28:24 +0200
Francesco Calimeri <[email protected]> • #3242
TPNC 2015: 2nd call for papers
Sun, 12 Jul 2015 10:02:44 +0200
"GRLMC" <[email protected]> • #3241
RuleML and RR -- Call for Participation
Wed, 08 Jul 2015 17:45:38 +0200
Luca Pulina <[email protected]> • #3240
WLP 2015 - EXTENDED DEADLINE
Fri, 03 Jul 2015 20:53:31 +0200
Sibylle Schwarz <[email protected]> • #3239
InfoSec 2015: final announcement
Sun, 28 Jun 2015 09:19:35 +0200
"GRLMC" <[email protected]> • #3238
Call for Posters and Demos @ SEMANTiCS 2015 , September 15-17, 2015 (Vienna, Austria) – D eadline extended till 28th of June, 2015
Tue, 23 Jun 2015 10:09:33 +0200
SEMANTiCS <[email protected]> • #3237
[LPNMR 2015] REGISTRATION OPEN - Call for Participation (student support grants available)
Sat, 20 Jun 2015 01:23:25 +0200
Francesco Calimeri <[email protected]> • #3236
WLP 2015 - EXTENDED DEADLINE
Mon, 15 Jun 2015 19:43:21 +0200
Sibylle Schwarz <[email protected]> • #3235
FOCLASA 2015 - 3rd Call for Papers - Submission deadline extended
Tue, 16 Jun 2015 10:05:06 +0200 (CEST)
[email protected] • #3234
TPNC 2015: 1st call for papers
Sun, 14 Jun 2015 09:04:00 +0200
"GRLMC" <[email protected]> • #3233
GTTV'15: Second Call for Papers
Tue, 09 Jun 2015 18:39:55 +0200
Marc Denecker <[email protected]> • #3232
Doctoral Program on Logical Methods in Computer Science (LogiCS)
Tue, 09 Jun 2015 17:47:09 +0200
Igor Konnov <[email protected]> • #3231
CfP: WLP 2015
Wed, 03 Jun 2015 10:43:06 +0200
Sibylle Schwarz <[email protected]> • #3230
[Eacsl-announce] ESSLLI 2016 - Call for Course and Workshop Proposals
Sat, 30 May 2015 20:17:07 +0100
European Association of Computer Science Logic <[email protected]> • #3228
LPMR 2015 - Associated events - DEADLINES
Fri, 29 May 2015 16:48:14 +0200
Francesco Calimeri <[email protected]> • #3227
Call for Posters and Demos @ SEMANTiCS 2015, deadline: June 17, 2015
Thu, 28 May 2015 14:41:38 +0200
SEMANTiCS <[email protected]> • #3226
FOCLASA 2015 @ CONCUR 2015 - 2nd Call For Papers
Wed, 27 May 2015 11:45:27 +0200 (CEST)
[email protected] • #3225
SCART 2015 at SEFM 2015 - Submission Deadline Reminder - Springer JISA Thematic Series Invited Papers
Wed, 27 May 2015 11:33:16 +0200 (CEST)
[email protected] • #3224
[CALL] 1st Joint Doctoral Consortium held as part of Algorithmic Decision Theory 2015 and Logic Programming and Non-Monotonic Reasoning 2015.
Sun, 24 May 2015 18:01:56 +0200
Francesco Calimeri <[email protected]> • #3223
SEMANTiCS 2015 *Deadline extension*, Vienna, Call for Research & Innovation Papers
Fri, 22 May 2015 17:30:37 +0300
Josiane Xavier Parreira <[email protected]> • #3222
InfoSec 2015: registration deadline 3 June
Sat, 23 May 2015 19:14:01 +0200
"GRLMC" <[email protected]> • #3221
CfP WLP 2015
Wed, 20 May 2015 19:44:19 +0200
Sibylle Schwarz <[email protected]> • #3220
FINAL CALL FOR PAPERS -- ICTAC 2015
Wed, 20 May 2015 12:24:50 +0200
Dale Miller <[email protected]> • #3219
Deadline Extension: Topics in Theoretical Computer Science (TTCS 2015) -- Tehran, Iran
Fri, 15 May 2015 10:01:37 +0200
Mahdi Jaghoori <[email protected]> • #3218
RR 2015 Doctoral Consortium - CfP with extended deadline
Mon, 11 May 2015 15:48:52 +0200
Luca Pulina <[email protected]> • #3217
SCART 2015 at SEFM 2015 - Submission Deadline Reminder - Springer JISA Thematic Series Invited Papers
Mon, 11 May 2015 11:21:33 +0200 (CEST)
[email protected] • #3216
First Call for Papers for IFL 2015
Sun, 10 May 2015 13:02:53 -0700 (PDT)
[email protected] • #3215
CALL FOR APPLICATIONS -- The 11th Reasoning Web Summer School (RW2015)
Fri, 08 May 2015 16:04:34 +0200
Luca Pulina <[email protected]> • #3214
[Stratego Users] Final CFP: Topics in Theoretical Computer Science (TTCS 2015) -- Tehran, Iran
Tue, 5 May 2015 19:06:59 +0200
Mahdi Jaghoori <[email protected]> • #3213
Call for participation (FCRC+LCTES)
Mon, 4 May 2015 09:56:01 -0500
Klaus Havelund <[email protected]> • #3212
RR 2015 Doctoral Consortium - Second Call for Papers
Mon, 04 May 2015 15:12:17 +0200
Luca Pulina <[email protected]> • #3211
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.