gmane.science.mathematics.logic.asian

69 articles on record, showing the most recent 50.

Fully funded PhD student position in logic and formal methods, Barcelona (Spain), Deadline: 5 Sep 2019
Tue, 27 Aug 2019 10:09:03 +0000
Ana De Almeida Gabriel Vieira Borges <[email protected]> • #71
[CFP] 3rd International Workshop on User-Oriented Logic Paradigms - [Deadline extension]
Fri, 12 Apr 2019 10:24:39 +0000
Christos Rodosthenous <[email protected]> • #70
2nd CFP: 3rd International Workshop on User-Oriented Logic Paradigms
Tue, 19 Mar 2019 08:53:26 +0000
Christos Rodosthenous <[email protected]> • #69
Change of the domain name of asian-logic
Wed, 13 Aug 2014 12:30:20 +0900
Atsushi Igarashi <igarashi-eQGvLIdOw/[email protected]> • #68
last CFP - DEON2014
Sun, 23 Feb 2014 15:22:07 +0900
"Ken Satoh" <[email protected]> • #66
CALL for Workshop Proposals: JSAI-isAI 2014 in Yokohama, Japan
Thu, 23 Jan 2014 13:28:50 +0900
"Ken Satoh" <[email protected]> • #65
CFP: Methods for Modalities 2013
Sun, 24 Mar 2013 11:02:29 -0300
Carlos Areces <[email protected]> • #64
Call for Workshop Proposals:JSAI-IsAI 2013
Wed, 13 Mar 2013 19:43:36 +0900
"Ken Satoh" <[email protected]> • #63
CFP- Method for Modalities 8
Fri, 15 Feb 2013 13:41:17 -0300
Carlos Areces <[email protected]> • #62
JURISIN2012
Tue, 03 Jul 2012 15:15:18 +0900
Makoto Nakamura <mnakamur-fu56/Rg/[email protected]> • #61
Fwd: KI 2012: Last call for papers
Wed, 04 Apr 2012 13:52:06 +0200
Daniel Sonntag <[email protected]> • #59
KI 2012: Call for papers
Sun, 15 Jan 2012 21:21:42 +0100
Daniel Sonntag <[email protected]> • #58
KI 2012: Call for Tutorial Proposals
Tue, 03 Jan 2012 00:33:32 +0100
Daniel Sonntag <[email protected]> • #57
KI 2012: Call for Workshop Proposal
Tue, 03 Jan 2012 00:12:46 +0100
Daniel Sonntag <[email protected]> • #56
NASSLLI 2012 - CALL for COURSE and WORKSHOP PROPOSALS
Wed, 8 Jun 2011 20:11:31 -0300
Carlos Areces <[email protected]> • #55
CfP:18th International Symposium on Fundamentals of Computer Theory
Tue, 21 Dec 2010 12:11:38 +0000
Katsuhiko Sano <[email protected]> • #54
CFP CSTVA'10 2nd International Workshop on Constraints in Software Testing, Verification and Analysis
Fri, 13 Nov 2009 17:46:19 +0100
Arnaud Gotlieb <[email protected]> • #53
[asian-logic:00185] CFP: Third International Workshop on Juris-informatics (JURISIN 2009)
Thu, 4 Jun 2009 13:34:10 +0900
"Ken Satoh" <[email protected]> • #52
New Forms of Reasoning for the Semantic Web (NEFORS2008): 2nd Call for Papers
Fri, 05 Sep 2008 00:01:47 +0200
Uwe Keller <[email protected]> • #51
Special issue of the Journal of Symbolic Computation on "Automated Deduction: Decidability, Complexity, Tractability''
Fri, 7 Mar 2008 12:39:36 +0100 (CET)
"Viorica Sofronie-Stokkermans" <[email protected]> • #50
Special issue of the Journal of Symbolic Computation on "Automated Deduction: Decidability, Complexity, Tractability''
Fri, 21 Dec 2007 23:34:00 +0100 (CET)
"Viorica Sofronie-Stokkermans" <[email protected]> • #49
Workshop on Constraints in Software Testing, Verification and Analysis
Mon, 11 Sep 2006 10:17:54 +0200
Arnaud Gotlieb <[email protected]> • #48
CFP ASIAN'06 - please distribute !
Wed, 21 Jun 2006 22:55:22 +0900
"Philippe Codognet" <[email protected]> • #47
[asian-logic:00184] HyLo2006
Sat, 27 May 2006 14:02:06 +0200
Torben Brauner <[email protected]> • #46
[asian-logic:00183] HyLo 2006
Thu, 11 May 2006 11:19:18 +0200
Torben Brauner <[email protected]> • #45
[asian-logic:00182] HyLo 2006
Wed, 12 Apr 2006 07:47:00 +0200
Torben Brauner <[email protected]> • #44
[asian-logic:00181] Re: Restarted! (Re: Announce: This mailing list server will be moved!)
Sat, 18 Mar 2006 15:36:25 +0900
Atsushi Igarashi <igarashi-eQGvLIdOw/[email protected]> • #43
[asian-logic:00180] Restarted! (Re: Announce: This mailing list server will be moved!)
Sat, 18 Mar 2006 15:27:55 +0900
Atsushi Igarashi <igarashi-eQGvLIdOw/[email protected]> • #42
[asian-logic:00179] Re: Restarted! (Re: Announce: This mailing list server will be moved!)
Sat, 18 Mar 2006 13:51:30 +0900
Atsushi Igarashi <igarashi-eQGvLIdOw/[email protected]> • #41
[asian-logic:00178] Restarted! (Re: Announce: This mailing list server will be moved!)
Sat, 18 Mar 2006 13:46:28 +0900
Atsushi Igarashi <igarashi-eQGvLIdOw/[email protected]> • #40
[asian-logic:00177] CFP:Apologies for multiple copies
Fri, 17 Mar 2006 15:26:18 +0900
"Suzuki, Nobu-Yuki" <[email protected]> • #39
[asian-logic:00176] Re: Restarted! (Re: Announce: This mailing list server will be moved!)
Sun, 12 Mar 2006 15:42:49 +0900
Atsushi Igarashi <igarashi-eQGvLIdOw/[email protected]> • #38
Restarted! (Re: Announce: This mailing list server will be moved!)
Sun, 12 Mar 2006 11:15:18 +0900
Atsushi Igarashi <igarashi-eQGvLIdOw/[email protected]> • #37
[asian-logic 174] Announce: This mailing list server will be moved!
Thu, 09 Mar 2006 00:09:16 +0900
Motohiko Mouri <[email protected]> • #36
ICCL Summer School 2006: KNOWLEDGE STRUCTURES
Wed, 11 Jan 2006 18:07:29 +0100
Bertram Fronhoefer <Bertram.Fronhoefer-r/[email protected]> • #35
[asian-logic 173] HyLo 2006
Tue, 20 Dec 2005 07:08:45 +0100
Torben Brauner <[email protected]> • #34
[asian-logic 172] 1st CfP ESSLLI 2006 STUDENT SESSION
Tue, 01 Nov 2005 14:59:11 -0500
"J. Huitink" <[email protected]> • #33
(unknown)
Sat, 15 Oct 2005 20:32:07 +0900 (JST)
owner-asian-logic-sxAM4NMeNq2IKN2546+X7ngSJqDPrsil@public.gmane.org • #32
(unknown)
Tue, 11 Oct 2005 19:23:55 +0900 (JST)
owner-asian-logic-sxAM4NMeNq2IKN2546+X7ngSJqDPrsil@public.gmane.org • #31
(unknown)
Tue, 11 Oct 2005 00:31:57 +0900 (JST)
owner-asian-logic-sxAM4NMeNq2IKN2546+X7ngSJqDPrsil@public.gmane.org • #30
(unknown)
Tue, 4 Oct 2005 23:42:23 +0900 (JST)
owner-asian-logic-sxAM4NMeNq2IKN2546+X7ngSJqDPrsil@public.gmane.org • #29
[PT] CSL'06 workshops and Ackermann Award
Mon, 03 Oct 2005 16:48:14 +0200
"Computer Science Logic '06 Conference" <[email protected]> • #28
(unknown)
Sat, 1 Oct 2005 11:33:44 +0900 (JST)
owner-asian-logic-sxAM4NMeNq2IKN2546+X7ngSJqDPrsil@public.gmane.org • #27
CONCUR 2005: Call for Participation, Early Registration Jul 20
Fri, 8 Jul 2005 10:42:03 -0700 (PDT)
CONCUR 2005 Announcements <[email protected]> • #26
[GDV 2005] Call for Participation
Mon, 6 Jun 2005 12:46:18 -0700 (PDT)
Rupak Majumdar <[email protected]> • #25
REMINDER: ICCL Summer School: Logic-based Knowledge Representation
Wed, 6 Apr 2005 12:12:14 +0200
Bertram Fronhoefer <Bertram.Fronhoefer-r/[email protected]> • #24
ICCL Summer School: Logic-based Knowledge Representation
Sat, 12 Feb 2005 13:07:33 +0100
Bertram Fronhoefer <Bertram.Fronhoefer-r/[email protected]> • #23
FIDJI'2004 - NEW deadline September, 30th
Thu, 16 Sep 2004 12:52:48 +0200
Nicolas Guelfi <[email protected]> • #22
[asian-logic 166] JELIA'04 + CLIMA V - Early Registration ends September 7th
Mon, 6 Sep 2004 16:15:24 +0100
"Joao Leite" <jleite-ogrWd1N3sOcFQqZp/[email protected]> • #21
[asian-logic 165] CLIMA V - Call for Participation
Thu, 2 Sep 2004 13:55:54 +0100
"Joao Leite" <jleite-ogrWd1N3sOcFQqZp/[email protected]> • #20