gmane.comp.lang.lambda-prolog archive

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

Call for papers - 28th International Conference on Logic Programming (ICLP 2012)
Wed, 14 Dec 2011 18:43:08 +0100
"Gergely Lukacsy (glukacsy)" <[email protected]> • #2682
NASSLLI 2012: CfPart
Wed, 14 Dec 2011 12:53:00 -0600
Joey Frazee <[email protected]> • #2681
IJCAR 2012: 2nd Call for Papers
Thu, 15 Dec 2011 01:11:40 +0800
Dale Miller <[email protected]> • #2680
Turing Fellowships - extended deadline, 21 Decemebr, 2011
Wed, 14 Dec 2011 10:25:04 GMT
S B Cooper <[email protected]> • #2679
RTA 2012: Second Call For Papers
Wed, 14 Dec 2011 00:05:32 +0100
Georg Moser <[email protected]> • #2678
Announcement: 2nd International SAT/SMT Summer School
Tue, 13 Dec 2011 08:46:03 +0100
Alberto Griggio <[email protected]> • #2677
Second Call for Papers: COORDINATION 2012, Stockholm, Sweden
Mon, 12 Dec 2011 17:47:49 +0100 (CET)
[email protected] • #2676
DisCoTec 2012: Second CFP and Workshop Proposals (COORDINATION + DAIS + FMOODS/FORTE)
Tue, 13 Dec 2011 10:06:03 +0000 (GMT)
[email protected] (Ivana Dusparic) • #2675
SSFLA 2012: 1st announcement
Sun, 11 Dec 2011 11:24:50 +0100
"GRLMC" <[email protected]> • #2674
Turing Centenary Conference, Cambridge, June 18-23, 2012
Sat, 10 Dec 2011 18:55:05 GMT
S B Cooper <[email protected]> • #2673
RAMiCS 13 Call for Papers: Relational and Algebraic Methods in Computer Science
Wed, 7 Dec 2011 09:13:20 +1100
Peter Höfner <[email protected]> • #2672
[fm-announcements] NFM 2012 Paper Submission Deadline extended to December 18, 2011 (11:59pm EST)
Tue, 6 Dec 2011 12:27:07 -0600
"PERSON, SUZETTE (LARC-D320)" <[email protected]> • #2671
TURING CENTENARY CONFERENCE
Sat, 3 Dec 2011 00:14:53 +0000
CiE Conference Series <[email protected]> • #2670
Call for Papers (TASE 2012)
Wed, 30 Nov 2011 22:12:09 +0800
"Huibiao Zhu" <[email protected]> • #2669
Call For Papers: Wodet-3 - Third Workshop on Determinism and Correctness in Parallel Programming
Wed, 30 Nov 2011 17:46:43 -0500
Emery Berger <[email protected]> • #2668
Book in memory of Bill McCune -- 2nd call for papers
Mon, 28 Nov 2011 17:21:08 +0100
Maria Paola Bonacina <[email protected]> • #2667
LPAR-18 workshops IWIL-2012 and APS-6 - Calls for Papers
Mon, 28 Nov 2011 08:33:42 -0500 (EST)
[email protected] (Geoff Sutcliffe) • #2666
POPL 2012: Call for participation
Mon, 28 Nov 2011 10:34:09 -0600
Swarat Chaudhuri <[email protected]> • #2665
ITP'12: final call for workshop proposals
Mon, 28 Nov 2011 13:42:10 -0500 (EST)
" Lennart Beringer" <eberinge-sXtZGUMCxtn536EW/[email protected]> • #2664
SAT 2012: Call for Workshop Proposals
Tue, 22 Nov 2011 19:02:50 +0100
Roberto Sebastiani <[email protected]> • #2663
Turing Fellowships and Scholarships
Mon, 21 Nov 2011 19:27:36 GMT
S B Cooper <[email protected]> • #2662
AOW: Call for Posters and Demonstrations
Thu, 17 Nov 2011 14:32:41 +0200
AOW <[email protected]> • #2661
2st CfP: DEPEND 2012 || August 19-24, 2012 -Rome, Italy
Thu, 17 Nov 2011 20:22:19 +0100
Cristina Pascual<[email protected]> • #2660
2nd CfP: SECURWARE 2012 || August 19-24, 2012 - Rome, Italy
Wed, 16 Nov 2011 18:34:11 +0100
Cristina Pascual<[email protected]> • #2659
PhD and Postdoc positions at ETH Zurich
Sun, 13 Nov 2011 19:31:14 -0500
Martin Vechev <[email protected]> • #2658
Tenure-track position in Nagoya University
Thu, 10 Nov 2011 15:00:31 +0900
[email protected] • #2657
SAT 2012: Call for Papers
Fri, 4 Nov 2011 09:45:27 +0100
Roberto Sebastiani <[email protected]> • #2656
European Master's Program in Computational Logic
Thu, 3 Nov 2011 20:10:13 +0100
Bertram Fronhöfer <[email protected]> • #2655
Call for Papers and Workshop Proposals: DisCoTec 2012, Stockholm, Sweden (COORDINATION + DAIS + FMOODS/FORTE)
Thu, 3 Nov 2011 15:26:14 +0000 (GMT)
[email protected] (Ivana Dusparic) • #2654
CMCS 2012: second call for papers
Fri, 28 Oct 2011 23:56:47 +0200
[email protected] • #2653
ITP 2012: Call for Papers
Thu, 27 Oct 2011 15:20:12 -0400
Amy Felty <[email protected]> • #2652
LPAR-18 extended deadline
Wed, 26 Oct 2011 15:01:20 -0400 (EDT)
[email protected] (Geoff Sutcliffe) • #2651
Call for Papers: COORDINATION 2012, Stockholm, Sweden
Mon, 24 Oct 2011 17:19:55 +0200 (CEST)
[email protected] • #2650
WoLLIC 2012 - Call for Papers
Sat, 22 Oct 2011 15:25:41 -0300
Ruy de Queiroz <[email protected]> • #2649
FICS 2012: Call for papers
Sun, 23 Oct 2011 06:51:28 +0200
Dale Miller <[email protected]> • #2648
Call for Papers (TASE 2012)
Fri, 21 Oct 2011 23:23:35 +0800
"Huibiao Zhu" <[email protected]> • #2647
ISMM 2012 Call for Papers
Fri, 21 Oct 2011 18:31:14 -0400
Martin Vechev <[email protected]> • #2646
[fm-announcements] NASA Formal Methods Symposium - 2nd Call for Papers
Fri, 21 Oct 2011 09:11:49 -0500
"PERSON, SUZETTE (LARC-D320)" <[email protected]> • #2645
ICFP 2012: Call for workshops and co-located events
Fri, 21 Oct 2011 11:52:16 +0200
Wouter Swierstra <[email protected]> • #2644
Book Announcement - "Apartness and Uniformity: A Constructive Development"
Wed, 19 Oct 2011 22:14:38 +0100
CiE Conference Series <[email protected]> • #2643
Joint Postdoctoral Research Position in Ontology Evolution: Centre for AI Research, South Africa and University of Edinburgh, United Kingdom
Thu, 13 Oct 2011 23:10:47 +0200
Centre for Artificial Intelligence Research <[email protected]> • #2642
Postdoctoral research positions in Computer Science - CAIR South Africa
Thu, 13 Oct 2011 11:50:15 +0200
Centre for Artificial Intelligence Research <[email protected]> • #2641
LPAR-18 Call for Papers and Workshops
Tue, 11 Oct 2011 11:33:29 -0400 (EDT)
[email protected] (Geoff Sutcliffe) • #2640
Turing Year in China - TAMC 2012
Tue, 11 Oct 2011 12:19:08 +0100 (BST)
S B Cooper <[email protected]> • #2639
Call for IJCAR 2012 Satellite Events
Fri, 7 Oct 2011 07:31:47 -0400 (EDT)
[email protected] (Geoff Sutcliffe) • #2638
LATA 2012: submission deadline extended
Sat, 08 Oct 2011 17:42:29 +0200
"Carlos Martín Vide" <[email protected]> • #2637
EPIA 2011: Final Call for Participation
Thu, 06 Oct 2011 17:10:23 +0100
HSofia Pinto <[email protected]> • #2636
CFP: AOW2011 Submission Deadline Extended to 23 October 2011
Wed, 5 Oct 2011 13:15:55 +0200
Australasian Ontology Workshop <[email protected]> • #2635
Square of Opposition - Beirut 2012
Tue, 4 Oct 2011 09:03:49 -0300 (BRT)
"Universal Logic" <[email protected]> • #2634
CLA 2011: Call for participation (updated!)
Mon, 03 Oct 2011 10:35:51 -0300
Mehdi KAYTOUE <[email protected]> • #2633
RTA 2012: First Call For Papers
Sat, 01 Oct 2011 23:08:42 +0200
Georg <[email protected]> • #2632
FSFLA 2011: call for participation
Fri, 30 Sep 2011 17:56:27 +0200
"Carlos Martín Vide" <[email protected]> • #2631
ITP 2012: Call for workshop proposals
Wed, 28 Sep 2011 12:24:24 -0400 (EDT)
" Lennart Beringer" <eberinge-sXtZGUMCxtn536EW/[email protected]> • #2630
WRLA 2012: Call for papers
Tue, 27 Sep 2011 13:17:55 +0100
Francisco Durán <[email protected]> • #2629
RuleML2011@BRF - Call for participation
Sat, 24 Sep 2011 09:46:42 +0200
"Adrian Paschke" <[email protected]> • #2628
IJCAR 2012: Call for Papers
Fri, 23 Sep 2011 13:00:16 +0200
Dale Miller <[email protected]> • #2627
LATA 2012: final call for papers
Thu, 22 Sep 2011 13:01:49 +0200
"Carlos Martín Vide" <[email protected]> • #2626
Call for participation CLA 2011
Thu, 22 Sep 2011 11:33:23 -0300
[email protected] • #2625
[FMCAD 2011] Early registration ends Sept 27
Tue, 20 Sep 2011 14:38:02 -0500
"David L. Rager" <[email protected]> • #2624
AOW 2011: 10 days to submission deadline
Mon, 19 Sep 2011 14:10:51 +0200
Australasian Ontology Workshop <[email protected]> • #2623
CiE 2012 Call for Papers
Thu, 15 Sep 2011 11:59:46 +0100
CiE Conference Series <[email protected]> • #2622
'The Incomputable' - Registration opens
Wed, 14 Sep 2011 21:45:22 +0100
CiE Conference Series <[email protected]> • #2621
[fm-announcements] NFM 2012 Call For Papers
Wed, 14 Sep 2011 14:02:47 -0500
"PERSON, SUZETTE (LARC-D320)" <[email protected]> • #2620
CMCS 2012: call for papers and revised dates
Tue, 13 Sep 2011 21:40:34 +0200
[email protected] • #2619
LPAR-18 Venezuela- Call for Papers
Tue, 13 Sep 2011 07:53:20 -0400 (EDT)
[email protected] (Geoff Sutcliffe) • #2618
Call for Proposals for Workshops, Formal Methods 2012
Mon, 12 Sep 2011 16:38:20 +0200
Tayssir Touili <[email protected]> • #2617
1st cfp: Automated Reasoning and Mathematics: Essays in Memory of William McCune
Sun, 11 Sep 2011 23:18:23 +0200
Maria Paola Bonacina <[email protected]> • #2616
FMCO 2011 and FoVeOOS 2011 call for participation
Fri, 09 Sep 2011 15:52:15 +0200
Ferruccio Damiani <[email protected]> • #2615
Mathematics of Program Construction - first call for papers
Wed, 7 Sep 2011 11:48:13 +0100 (BST)
[email protected] • #2614
RuleML2011@BRF Challenge - Paper and demo submission deadline extension
Mon, 05 Sep 2011 08:51:49 +0200
"The RuleML2011@BRF Challenge Chairs" <[email protected]> • #2613
FSFLA 2011: final announcement
Sun, 04 Sep 2011 13:20:44 +0200
"Carlos Martín Vide" <[email protected]> • #2612
Formal Methods in Computer Aided Design 2011 -- Call for Participation
Wed, 31 Aug 2011 13:38:45 -0500
"David L. Rager" <[email protected]> • #2611
CP 2011 - Call for Participation
Tue, 30 Aug 2011 15:52:30 +0200
CP2011 publicity <[email protected]> • #2610
Post Doc Positions Available
Sun, 28 Aug 2011 21:38:21 +0000
Marco Roveri <[email protected]> • #2609
LATA 2012: 2nd call for papers
Thu, 25 Aug 2011 15:43:14 +0200
"Carlos Martín Vide" <[email protected]> • #2608
Preliminary announcement: CiE 2012 - Turing Centenary Conference, Cambridge, 18-23 June 2012
Tue, 23 Aug 2011 01:18:26 +0100
CiE Conference Series <[email protected]> • #2607
[fm-announcements] RV'11 San Francisco - Call for Participation
Wed, 17 Aug 2011 09:51:37 -0700
"Havelund, Klaus (318M)" <[email protected]> • #2606
CMCS 2012: First call for papers
Wed, 17 Aug 2011 18:18:20 +0200
[email protected] • #2605
Open Position at the RCIS/JAIST
Wed, 17 Aug 2011 14:52:28 +0900
Norbert Preining <[email protected]> • #2604
CFP: AVoCS Special Issue in SCP
Thu, 11 Aug 2011 13:35:08 +0100
AVoCS <[email protected]> • #2603
CP 2011 - Call for Participation
Thu, 11 Aug 2011 10:42:36 +0200
CP2011 publicity <[email protected]> • #2602
NASSLLI 2012: Call for Course and Workshop Proposals - EXTENDED DEADLINE
Mon, 1 Aug 2011 19:02:03 -0300
Carlos Areces <[email protected]> • #2601
CfPart: TIME'11
Fri, 29 Jul 2011 10:12:38 +0200
Martin Leucker <[email protected]> • #2600
[VMCAI2012] VMCAI 2012 CALL FOR PAPERS
Thu, 28 Jul 2011 10:54:27 +0200
Andrey Rybalchenko <[email protected]> • #2599
Final CFP: FoVeOOS 2011 (post-proceeding will be published on Springer LNCS)
Tue, 26 Jul 2011 00:19:49 +0200
Ferruccio Damiani <[email protected]> • #2598
CSL call for participation
Mon, 25 Jul 2011 08:27:27 -0400 (EDT)
[email protected] (Geoff Sutcliffe) • #2597
CP 2011 - Call for Participation
Thu, 21 Jul 2011 12:47:49 +0200
CP2011 publicity <[email protected]> • #2596
FSFLA 2011: 2nd announcement
Thu, 21 Jul 2011 13:33:49 +0200
"Carlos Martín Vide" <[email protected]> • #2595
COMPUTABILITY - The Journal of the Association CiE
Thu, 21 Jul 2011 11:02:09 +0100 (BST)
S Barry Cooper <[email protected]> • #2594
RTA 2012: Call for Workshop Proposals
Wed, 20 Jul 2011 19:16:25 +0900 (JST)
Masahiko Sakai <[email protected]> • #2593
*** CALCO 2011: Early registration extended until July 27 ***
Tue, 19 Jul 2011 12:31:06 +0100
Corina Cirstea <[email protected]> • #2592
Call For Participation *** [FLACOS 2011] : Workshop on Formal Languages and Analysis of Contrac t-Oriented Software (Málaga, Spain)
Sun, 17 Jul 2011 16:27:02 +0200
"[email protected]" <[email protected]> • #2591
LATA 2012: 1st call for papers
Sun, 17 Jul 2011 09:43:02 +0200
"Carlos Martín Vide" <[email protected]> • #2590
NASSLLI 2012 - 2nd CALL for COURSE and WORKSHOP PROPOSALS
Fri, 15 Jul 2011 19:47:53 -0300
Carlos Areces <[email protected]> • #2589
Haifa Verification Conference 2011: call for papers
Fri, 15 Jul 2011 00:17:07 +0300
Onn Shehory <[email protected]> • #2588
Job advert - Research Fellow - Trust Domains
Wed, 13 Jul 2011 21:12:39 +0100
"Collinson, Matthew." <[email protected]> • #2587
Computability: New Journal now Accepting Submissions!
Mon, 11 Jul 2011 10:54:07 +0100
CiE Conference Series <[email protected]> • #2586
CP 2011 - Call for Participation
Fri, 8 Jul 2011 15:45:00 +0200
CP2011 publicity <[email protected]> • #2585
*** CALCO 2011: Early registration deadline approaching ***
Fri, 8 Jul 2011 00:49:18 +0100
Corina Cirstea <[email protected]> • #2584
CFP: AiML 2012
Sat, 2 Jul 2011 21:21:07 +0200
Thomas Bolander <[email protected]> • #2583
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.