gmane.science.mathematics.logic.asian archive

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

[asian-logic 164] JELIA'04 Call For Participation

Tue, 31 Aug 2004 19:44:01 +0100

"Joao Leite" <jleite-ogrWd1N3sOcFQqZp/[email protected]> • #19

[asian-logic 163] asian-logic アドレス の復旧のお知らせ

Sun, 18 Jul 2004 16:51:29 +0900

Toshimasa Matsumoto <[email protected]> • #18

[asian-logic 162] Last CFP: CLIMA V - 5th International Workshop on Computational Logic in Multi-Agent Systems

Fri, 18 Jun 2004 02:38:00 +0100

João Leite <jleite-ogrWd1N3sOcFQqZp/[email protected]> • #17

asian-logic メーリングリストのアドレス変更

Tue, 08 Jun 2004 20:43:26 +0900

Toshimasa Matsumoto <[email protected]> • #16

(unknown)

Mon, 31 May 2004 21:13:30 GMT

owner-asian-logic-sxAM4NMeNq2IKN2546+X7ngSJqDPrsil@public.gmane.org • #15

[asian-logic 160] UNILOG '05 - Montreux

Wed, 26 May 2004 15:01:31 +0200

"COSTA LEITE Alexandre" <[email protected]> • #14

[asian-logic 159] CFP: CLIMA V - 5th International Workshop on Computational Logic in Multi-Agent Systems

Wed, 19 May 2004 11:17:40 +0100

João Leite <jleite-ogrWd1N3sOcFQqZp/[email protected]> • #13

Cryptographic Protocol Logic (CPL)

Mon, 26 Apr 2004 10:06:35 +0200

Simon Kramer <[email protected]> • #12

[asian-logic 158] Cryptographic Protocol Logic (CPL)

Mon, 26 Apr 2004 14:21:24 +0200

Simon Kramer <[email protected]> • #11

[asian-logic 157] Call for System Descriptions - JELIA'04 - 9th European Conference on Logics in Artificial Intelligence

Mon, 19 Apr 2004 21:49:54 +0100

João Alexandre Leite <jleite-ogrWd1N3sOcFQqZp/[email protected]> • #10

[asian-logic 156] CFP: JELIA'04 - 9th European Conference on Logics in Artificial Intelligence

Mon, 19 Apr 2004 20:42:07 +0100

João Alexandre Leite <jleite-ogrWd1N3sOcFQqZp/[email protected]> • #9

[asian-logic 154] CFP: JELIA'04 - 9th European Conference on Logics in Artificial Intelligence

Sun, 25 Jan 2004 04:35:08 -0000

João Alexandre Leite <jleite-ogrWd1N3sOcFQqZp/[email protected]> • #8

[asian-logic 155] JELIA'04 - 9th European Conference on Logics in Artificial Intelligence

Sun, 25 Jan 2004 04:54:53 -0000

João Alexandre Leite <jleite-ogrWd1N3sOcFQqZp/[email protected]> • #7

RULE'04 --- 2nd Call For Papers

Thu, 15 Jan 2004 18:06:43 +0100

Christophe Ringeissen <[email protected]> • #6

[asian-logic 153] Preliminary CFP: DALT 2004 - 2nd Workshop on Declarative Agent Languages and Technologies

Tue, 13 Jan 2004 01:29:09 -0000

"João Leite" <jleite-ogrWd1N3sOcFQqZp/[email protected]> • #5

RULE'04 --- 1st Call For Papers

Thu, 4 Dec 2003 14:28:45 +0100

Christophe Ringeissen <[email protected]> • #4

[asian-logic 152] CfP: Advances in Modal Logic 2004

Tue, 09 Sep 2003 16:23:54 +0900

"Suzuki, Nobu-Yuki" <[email protected]> • #3

[asian-logic 151] CFP: CLIMA IV - Deadline Extended

Mon, 8 Sep 2003 18:11:51 +0100

"João Alexandre Leite" <jleite-ogrWd1N3sOcFQqZp/[email protected]> • #2

[asian-logic 150] CFP: CLIMA IV - 4th Intl. Workshop on Computational Logic in Multi-Agent Systems

Sun, 3 Aug 2003 18:28:35 +0100

João Alexandre Leite <jleite-ogrWd1N3sOcFQqZp/[email protected]> • #1