gmane.comp.lang.lambda-prolog archive

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

Final Call for Papers: IEEE Software Engineering Workshop (SEW-35), Heraclion, Crete, 12-13 October 2012
Wed, 27 Jun 2012 22:05:56 +0800
"Huibiao Zhu" <[email protected]> • #2888
ICLA 2013: 5th Indian Conference on logic and its applications, Chennai, Jan 10-12, 2013: Call for papers
Tue, 26 Jun 2012 17:18:08 +0200
Sujata Ghosh <[email protected]> • #2887
TARK 2013: 14th Conference on Theoretical Aspects of Rationality and Knowledge, Chennai, Jan 7-9, 2013: Call for papers
Tue, 26 Jun 2012 17:16:07 +0200
Sujata Ghosh <[email protected]> • #2886
CFP - Synasc 2012, 5 days left for paper submission (FIRM deadline July 01, 2012)
Tue, 26 Jun 2012 11:57:01 +0300 (EEST)
SYNASC 2012 <[email protected]> • #2885
IEEE HLDVT 2012: Call for Papers (Submission Deadline Extended: June 29, 2012)
Sat, 23 Jun 2012 17:45:17 -0400
"Hiren D. Patel" <[email protected]> • #2884
Call For Participation: TCS 2012
Mon, 25 Jun 2012 16:52:40 +0200
Michiel Helvensteijn <[email protected]> • #2883
CFP: MIR 2012--Mathematics Information Retrieval, Bremen, July 8th
Sat, 23 Jun 2012 08:59:32 +0200 (CEST)
[email protected] • #2882
ICFP Student Research Competition
Mon, 25 Jun 2012 09:13:24 +0200
Wouter Swierstra <[email protected]> • #2881
Postdoc positions in SAT/SMT-based Verification available in Trento
Fri, 22 Jun 2012 20:52:28 +0200
Roberto Sebastiani <[email protected]> • #2880
FMICS 2012: call for participation
Wed, 20 Jun 2012 08:14:15 +0200 (CEST)
[email protected] (Ralf Pinger) • #2879
4th *OPEN* Answer Set Programming Competition 2013 - New Call for benchmarks
Tue, 19 Jun 2012 16:35:45 +0200
Francesco Calimeri <[email protected]> • #2878
AiML-2012: Call for Participation
Tue, 19 Jun 2012 15:44:18 +0200
Thomas Bolander <[email protected]> • #2877
ESSLLI 2013: extended deadline (june 29) course/workshop proposals
Mon, 18 Jun 2012 14:25:19 +0200 (CEST)
Johan Bos <[email protected]> • #2875
PEPM 2013: Preliminary Call for Papers
Mon, 18 Jun 2012 19:29:35 +0800
scm-ml <[email protected]> • #2874
CfP - 39th International Conference on Current Trends in Theory and Practice of Computer Science 2013
Mon, 18 Jun 2012 11:42:59 +0200
Harald Sack <[email protected]> • #2873
CFP SYNASC 2012 -- FIRM deadline July 01
Mon, 18 Jun 2012 10:31:30 +0300 (EEST)
SYNASC 2012 <[email protected]> • #2872
Call for Participation: Mancoosi International Solver Competition
Fri, 15 Jun 2012 16:32:37 +0200
Ralf Treinen <[email protected]> • #2871
LICS 2012 - Last Call for Participation
Sun, 17 Jun 2012 21:51:23 +0100
Andrzej Murawski <[email protected]> • #2870
Extended Deadline: 9th International Symposium on Formal Aspects of Component Software (FACS 2012)
Wed, 13 Jun 2012 00:02:27 +0200
Javier Cámara Moreno <[email protected]> • #2868
CfP [revised deadline]: IEEE Software Engineering Workshop (SEW-35), Heraclion, Crete, 12-13 October 2012
Sun, 10 Jun 2012 16:47:52 +0800
"Huibiao Zhu" <[email protected]> • #2867
StarExec workshop at IJCAR 2012
Fri, 8 Jun 2012 08:39:57 -0400 (EDT)
[email protected] (Geoff Sutcliffe) • #2866
KI 2012: Call for Poster and Demo Contributions
Thu, 07 Jun 2012 21:01:19 +0200
Daniel Sonntag <[email protected]> • #2865
Final CfP ASPOCP 2012: 5th Workshop on Answer Set Programming and Other Computing Paradigms
Wed, 6 Jun 2012 19:38:42 +0200
[email protected] • #2864
Postdoc Position on Coverage Analysis of Concurrent Specification Languages, Inria/LIG, Grenoble, France
Mon, 4 Jun 2012 16:52:51 +0200 (CEST)
[email protected] • #2863
CFP SYNASC 2012, Timisoara, Romania
Sun, 3 Jun 2012 16:25:50 +0300 (EEST)
SYNASC 2012 <[email protected]> • #2862
Turing Centenary Conference, Manchester, June 22-25: Call for Participation
Sun, 3 Jun 2012 11:37:50 +0100 (BST)
S B Cooper <[email protected]> • #2861
CiE 2012 Turing Centenary Conference, Cambridge - Final Call for Participation
Wed, 30 May 2012 11:09:19 +0100 (BST)
S B Cooper <[email protected]> • #2860
CNL 2012: Call for Demonstrations
Thu, 31 May 2012 09:15:44 -0400
Tobias Kuhn <[email protected]> • #2859
FOOL 2012: Call for Papers
Wed, 30 May 2012 12:26:47 -0500
John Tang Boyland <[email protected]> • #2858
GAMES 2012 -- Call for contributions --
Fri, 1 Jun 2012 12:46:30 +0200 (CEST)
"Nello Murano" <[email protected]> • #2857
IEEE HLDVT 2012: Call for Papers
Tue, 29 May 2012 23:32:29 -0400
Hiren Patel <[email protected]> • #2856
2nd CfP: IEEE Software Engineering Workshop (SEW-35), Heraclion, Crete, 12-13 October 2012
Wed, 30 May 2012 15:56:08 +0800
"Huibiao Zhu" <[email protected]> • #2855
IJCAR 2012 Call for Participation
Mon, 28 May 2012 06:54:12 -0400 (EDT)
[email protected] (Geoff Sutcliffe) • #2854
MPC2012 Call for Participation
Wed, 23 May 2012 22:35:01 +0100
[email protected] • #2852
LOPSTR'12 deadline extension
Wed, 23 May 2012 14:44:12 +0200
Jon Sneyers <[email protected]> • #2851
Logic and Relativity / István Német i's 70th birthday conference
Tue, 22 May 2012 16:21:36 -0300 (BRT)
"Universal Logic" <[email protected]> • #2850
Call for Applications: 5th International School on Software Engineering and Formal Methods
Mon, 21 May 2012 15:09:15 +0100
Markus Roggenbach <[email protected]> • #2849
FSFLA 2012: 1st announcement
Sat, 19 May 2012 16:33:35 +0200
"GRLMC" <[email protected]> • #2848
ARCOE-12: Third call for papers
Fri, 18 May 2012 13:21:42 +0200
ARCOE Announcement <[email protected]> • #2847
JELIA: Logics in Artificial Intelligence, Toulouse, 26-28 Sep 2012
Wed, 16 May 2012 14:47:04 +0200
Andreas Herzig <[email protected]> • #2846
RR2012: Doctoral Consortium Last Call / Deadline Extension [Web Reasoning and Rule Systems]
Tue, 15 May 2012 23:55:45 +0200
Francesco Calimeri <[email protected]> • #2845
[fm-announcements] NASA/NIA PVS Class 2012
Tue, 15 May 2012 12:35:51 -0500
"MUNOZ, CESAR (LARC-D320)" <[email protected]> • #2844
2nd CFP: CPP 2012 - 2nd International Conference on Certified Programs and Proofs
Tue, 15 May 2012 08:11:50 +0200
Dale Miller <[email protected]> • #2843
E. W. Beth Dissertation Prize: 2012 new call for nominations
Tue, 15 May 2012 10:01:59 +0200
"A. Herzig" <[email protected]> • #2842
ASPCOMP 2013: 4th OPEN Answer Set Programming Competition: Call for Benchmark Problems
Mon, 14 May 2012 18:14:13 +0200
Francesco Calimeri <[email protected]> • #2841
LOPSTR 2012: Final Call for Papers
Mon, 14 May 2012 13:21:27 +0200
Jon Sneyers <[email protected]> • #2840
Call For Papers: APLAS 2012, 10th Asian Symposium on Programming Languages and Systems
Sat, 12 May 2012 18:00:33 -0700
Ranjit Jhala <[email protected]> • #2839
PPDP 2012: Final Call for Papers
Mon, 14 May 2012 13:21:47 +0200
Jon Sneyers <[email protected]> • #2838
FLACOS 2012 Call for Papers
Sat, 12 May 2012 19:28:39 +0200 (CEST)
"FLACOS 2012" <[email protected]> • #2837
3rd CFP SYNASC 2012, Timisoara, Romania
Fri, 11 May 2012 22:36:12 +0300 (EEST)
SYNASC 2012 <[email protected]> • #2836
ASPCOMP 2013: 4th OPEN Answer Set Programming Competition: Call for Benchmark Problems
Sat, 12 May 2012 15:37:45 +0200
Francesco Calimeri <[email protected]> • #2835
RR2012: DEADLINE EXTENSION to May 25/30, 2012
Fri, 11 May 2012 20:58:13 +0200
Francesco Calimeri <[email protected]> • #2834
2nd CfP ASPOCP 2012: 5th Workshop on Answer Set Programming and Other Computing Paradigms
Fri, 11 May 2012 13:03:18 +0200
[email protected] • #2833
ESSLLI 2013: call for course and workshop proposals
Wed, 9 May 2012 11:48:06 +0200 (CEST)
Johan Bos <[email protected]> • #2832
[fm-announcements] Call For Papers: RV 2012
Thu, 10 May 2012 10:07:24 -0700
Klaus Havelund <[email protected]> • #2831
Call for papers GandALF 2012 -- EXTENDED DEADLINE
Thu, 10 May 2012 16:29:00 +0200 (CEST)
"Nello Murano" <[email protected]> • #2830
ESSLLI 2012 call for participation
Wed, 9 May 2012 17:30:00 +0200
"A. Herzig" <[email protected]> • #2829
Last CFP: Workshop on Logics for Resources, Processes and Programs (LRPP 2012)
Tue, 8 May 2012 18:30:47 +0100
"Pym, Professor David J." <[email protected]> • #2828
LAST CFP: 6th International Conference on Web Reasoning and Rule Systems
Tue, 8 May 2012 15:15:20 +0200
Francesco Calimeri <[email protected]> • #2827
CiE 2012: Turing Centenary Conference, Cambridge - Final Call for Presentations
Sun, 6 May 2012 01:08:18 +0100 (BST)
S B Cooper <[email protected]> • #2826
IJCAR 2012 Participation and Travel Awards
Fri, 4 May 2012 12:21:33 -0400 (EDT)
[email protected] (Geoff Sutcliffe) • #2825
2nd CfPart HATS International School on Formal Models for Objects and Components
Fri, 04 May 2012 09:38:30 +0200
Mario Bravetti <[email protected]> • #2824
BNC@ECAI 2012: Second Call for Papers
Wed, 2 May 2012 09:58:00 +0200
BNC 2012 <[email protected]> • #2823
FMCAD'2012: Final Call For Papers
Tue, 1 May 2012 21:02:47 +0200
[email protected] • #2822
SLS2012 Deadline extension
Tue, 1 May 2012 15:31:30 +0200
Thomas Bolander <[email protected]> • #2821
Second CFP Synasc 2012, Timisoara, Romania
Tue, 1 May 2012 09:57:41 +0300 (EEST)
SYNASC 2012 <[email protected]> • #2820
WING 2012: Call for Presentations
Mon, 30 Apr 2012 09:35:33 +0100
Gudmund Grov <[email protected]> • #2819
CHR 2012: Call for Papers
Fri, 27 Apr 2012 08:54:23 +0200
Jon Sneyers <[email protected]> • #2818
PPDP 2012: 2nd Call for papers
Wed, 25 Apr 2012 08:45:59 +0200
Jon Sneyers <[email protected]> • #2817
European Master's Program in Computational Logic
Tue, 24 Apr 2012 19:53:42 +0200
Bertram Fronhöfer <[email protected]> • #2816
LoCoCo 2012 --- Call for papers
Tue, 24 Apr 2012 16:38:44 +0100
Conrad Drescher <[email protected]> • #2815
2nd Deep Knowledge Representation and Reasoning Challenge: Call for Papers
Mon, 23 Apr 2012 22:21:00 -0700
Vinay Chaudhri <[email protected]> • #2814
Extension of submission deadline, grants: LATD 2012
Fri, 20 Apr 2012 14:07:48 +0200
[email protected] • #2813
Grants and Reminder: ESSLLI 2012 Student Session (deadline April 30)
Fri, 20 Apr 2012 12:01:25 +0200
"Rasmus K. Rendsvig" <[email protected]> • #2812
2nd Call for Informal Presentations at Turing Centenary Conference, Cambridge, UK
Fri, 20 Apr 2012 02:51:24 +0100 (BST)
S B Cooper <[email protected]> • #2811
Call for participation iFM & ABZ 2012 - program available
Thu, 19 Apr 2012 11:28:22 +0200
Maurice ter Beek <[email protected]> • #2810
Call for Participation: COORDINATION 2012
Wed, 18 Apr 2012 16:06:28 +0200 (CEST)
[email protected] • #2809
European PhD Program in Computational Logic (EPCL): Call for Applications
Tue, 17 Apr 2012 17:54:27 +0200
Bertram Fronhöfer <[email protected]> • #2808
[fm-announcements] RV 2012 - 2nd Call For Papers
Fri, 13 Apr 2012 08:58:56 -0700
Klaus Havelund <[email protected]> • #2807
2nd Call for Participation: RTA 2012
Wed, 11 Apr 2012 20:11:21 +0200
Georg Moser <[email protected]> • #2806
IWS Workshop at IJCAR 2012 -- Call for papers
Wed, 11 Apr 2012 12:31:29 +0200
Maria Paola Bonacina <[email protected]> • #2805
2nd Call for papers: LOPSTR 2012
Wed, 11 Apr 2012 09:05:43 +0200
Jon Sneyers <[email protected]> • #2804
The Turing Centenary Conference, Manchester, June 22-25: 2nd Call for Papers
Tue, 10 Apr 2012 10:03:05 +0100
[email protected] (2 turing1) • #2803
Final CFP: 18th International Conference on Principles & Practice of Constraint Programming
Sun, 8 Apr 2012 19:55:59 +0100
Association ConstraintProgramming <[email protected]> • #2802
Call for Papera - Automated Theory Exploration (ATx)
Sat, 7 Apr 2012 23:32:28 +1000
Peter Höfner <[email protected]> • #2801
Workshop on Logics for Resources, Processes and Programs at IJCAR 2012
Sat, 7 Apr 2012 10:47:37 +0100
"Pym, Professor David J." <[email protected]> • #2800
Second Call: Logic, Algebra, and Truth Degrees 2012
Wed, 04 Apr 2012 05:43:01 +0200
[email protected] • #2799
Final CFP: TCS 2012
Wed, 4 Apr 2012 10:33:37 +0200
Michiel Helvensteijn <[email protected]> • #2798
Final CfP (Ext.): ESSLLI 2012 Student Session
Wed, 04 Apr 2012 10:06:55 +0200
"Rasmus K. Rendsvig" <[email protected]> • #2797
KI 2012: Last call for papers
Wed, 04 Apr 2012 13:51:18 +0200
Daniel Sonntag <[email protected]> • #2796
FMCAD'2012: First Call For Papers
Mon, 2 Apr 2012 22:50:43 +0200
[email protected] • #2795
CfP ASPOCP 2012: 5th Workshop on Answer Set Programming and Other Computing Paradigms
Mon, 2 Apr 2012 19:20:53 +0200
[email protected] • #2794
2nd CFP: 8th Scandinavian Logic Symposium
Mon, 2 Apr 2012 09:02:07 +0200
Thomas Bolander <[email protected]> • #2793
WADT 2012: Deadline Extension
Mon, 02 Apr 2012 09:09:00 +0200
WADT 2012 <[email protected]> • #2792
Research Fellow, Aberdeen, Security/Policy/Modelling
Sat, 31 Mar 2012 11:59:18 +0100
"Pym, Professor David J." <[email protected]> • #2791
CFP: CPP 2012 - 2nd International Conference on Certified Programs and Proofs
Fri, 30 Mar 2012 14:51:32 +0200
Dale Miller <[email protected]> • #2790
CNL 2012: Final Call for Papers / Deadline Extended to 13 April
Fri, 30 Mar 2012 15:15:10 -0400
Tobias Kuhn <[email protected]> • #2789
The Turing Centenary Conference in Manchester: 2nd Call for Papers and Call For Participation
Fri, 30 Mar 2012 08:28:15 -0400 (EDT)
[email protected] (Geoff Sutcliffe) • #2788
ARCOE-12: Second Call for Papers
Fri, 30 Mar 2012 08:50:44 +0200
ARCOE Announcement <[email protected]> • #2787
Semantic Web Journal Special Call for Papers: Big Data and the Semantic Web
Thu, 29 Mar 2012 21:57:07 -0400
Pascal Hitzler <[email protected]> • #2786
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.