From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/9883 Path: news.gmane.org!.POSTED.blaine.gmane.org!not-for-mail From: Roussanka Loukanova Newsgroups: gmane.science.linguistics.corpora,gmane.comp.science.types.announce,gmane.comp.java.jsr.166-concurrency,gmane.science.mathematics.petri-nets,gmane.science.mathematics.categories Subject: CfP: AIRLangComp'19: AI aspects in Reasoning, Languages, and Computation 2019 Date: Sun, 7 Apr 2019 21:05:57 +0200 Message-ID: Mime-Version: 1.0 Content-Type: multipart/mixed; boundary="===============7603973681523524097==" Injection-Info: blaine.gmane.org; posting-host="blaine.gmane.org:195.159.176.226"; logging-data="15839"; mail-complaints-to="usenet@blaine.gmane.org" To: corpora@uib.no, sigir , fom , logic@math.uni-bonn.de, las-lics@lists.tu-berlin.de, "Event@CIG" , finite-model-theory@lists.rwth-aachen.de, formalgrammar@cs.haifa.ac.il, mt-list@eamt.org, types-announce@lists.seas.upenn.edu, concurrency-interest@cs.oswego.edu, petrinet@mailhost.informatik.uni-hamburg.de, Categories Original-X-From: corpora-bounces@uib.no Sun Apr 07 21:13:46 2019 Return-path: Envelope-to: gslc-corpora@m.gmane.org Original-Received: from alfred.uib.no ([129.177.6.69]) by blaine.gmane.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.89) (envelope-from ) id 1hDDEf-00040B-LN for gslc-corpora@m.gmane.org; Sun, 07 Apr 2019 21:13:45 +0200 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=uib.no; s=20160927; h=Sender:Content-Type:List-Subscribe:List-Help:List-Post: List-Archive:List-Unsubscribe:List-Id:Subject:To:Message-ID:Date:From: MIME-Version:Reply-To:Cc:Content-Transfer-Encoding:Content-ID: Content-Description:Resent-Date:Resent-From:Resent-Sender:Resent-To:Resent-Cc :Resent-Message-ID:In-Reply-To:References:List-Owner; bh=UgKE/SvgyhfduHPo+R91Tg9uaCaA3hNcH1yjzRw0OjM=; b=52KhJ2hPHH5Z+5f5FrHj7lx6As Yg4qWwPnaJJyYvKRmVUH/nJYgphMtlOysPXaLVcy1KkFKZu2swWM81LkV52aK/ZrOUZlYsTHuCTGy J+7Vn4ZYg2rVRzvBn7XThtl04p3GYhyfplBVbYjktGQYhJnMSx6sSozW7QiJ1ZJm/XPw=; Original-Received: from (alfred.uib.no) [::1] by alfred.uib.no with esmtp (Exim 4.90_1) id 1hDDEG-0015No-DP; Sun, 07 Apr 2019 21:13:20 +0200 Original-Received: from rolf.uib.no [2001:700:200:6::701f] by alfred.uib.no for corpora@lists.uib.no with esmtp (Exim 4.90_1) id 1hDDEE-0015NU-Ga; Sun, 07 Apr 2019 21:13:18 +0200 Original-Received: from mail-qk1-x742.google.com [2607:f8b0:4864:20::742] by rolf.uib.no for corpora@uib.no with esmtps (TLSv1.2:ECDHE-RSA-AES128-GCM-SHA256:128) (Exim 4.90_1) id 1hDDEB-000F0M-4u; Sun, 07 Apr 2019 21:13:18 +0200 Original-Received: by mail-qk1-x742.google.com with SMTP id z76so6700806qkb.12 for ; Sun, 07 Apr 2019 12:13:14 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:from:date:message-id:subject:to; bh=fe2KDvB+4hsy36mlrDWugElbYkHqZjPUpgWr26juWLA=; b=B4VwfBBrLuGkvP5AZKnVK0ei/0glGPN1Lz5VcBtPt8symCdvvykK7KsxLaGNR2bK/o wH84yjViB3npjKUQnKuBhQw6dgWiSqSXQ2RJcx+HniWnLfpDbN3RTcA0RzXEF2wwWm6L fA6X2yK69iWG2zMDoEa4vQRgQRrTVxW7hDBW6P8cWaTr6gY1pChLaWsn5rPKqAZ+e42a H0YkMx0zQkKNSjNJnnnJ2ivicgi61HYzTUONq48kGQEOvy9t+m0qJYCBiZgMYYfFE1pf aoTh/yWK3mvR3aVm8rcuFEPUSU6K5idwPuMCBZgdlerlKsA8bmNPBS83y5VKWR/P7fqZ OEMg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=fe2KDvB+4hsy36mlrDWugElbYkHqZjPUpgWr26juWLA=; b=j4HaZPQCj5a8m4b7g1+yxsPcqd0kegtqsogblv5FLE1utKiOHbr2yc/pIYyKpbH2ON n2Z0YZUgfg5QV9udCGN2RNLlmsZ3d4jj/IJPHTv/wu1/7J/JI8HPHxFhJSXQZfLfmCDG MPjA/s8MIisiwWaWQQ1gZL0x3eaFfjwvxdPHXAfmJXYuAHgJXuHJF4b5dz+L41FrHi5h jE4A2m0fEgsqq0Pkr6R7SK5DEU7VSSv+EnQ1mJPY9C3HbETZJS+f8BjKB5jlDMBTn8DW 7hUIwn1Obpy4BzheEBdpqSFRiKQwcIqGsKIQqm87oyw2w4DNPr3rUkM6NSZfHqEZJdEF mdsQ== X-Gm-Message-State: APjAAAW7FMfhwNhKI55vQifPzhe+5HP6e/CgS6ma+KBzJgAYRMrOVkvS yC11FqiB0fxnloM53Y28Zb9Vh/rgTrQqULSyTbKEespC X-Google-Smtp-Source: APXvYqxJEAVpCkm3w8+B2EDwhooBkHhVkYZYjtsb/1Dv+jy9MVJ0p0HMG+SbbqtRSWJDdn0NEyP/74c5DxvM4MhIB6c= X-Received: by 2002:a37:784:: with SMTP id 126mr18925576qkh.10.1554663968146; Sun, 07 Apr 2019 12:06:08 -0700 (PDT) X-UiB-greylist: 1 X-UiB-dkim: (pass) X-checked-clean: by exiscan on rolf.uib.no X-Scanner: 4f7f3182966bbfe2352fe5df788fd999 http://tjinfo.uib.no/virus.html X-UiB-SpamFlag: NO UIB: 0.0 hits, 8.0 required X-UiB-SpamReport: spamassassin found; 0.0 Sender email is commonly abused enduser mail provider 0.1 BODY: No description available. 0.0 BODY: HTML included in message -0.1 Message has a valid DKIM or DK signature from author's domain -0.1 Message has at least one valid DKIM or DK signature 0.1 Message has a DKIM or DK signature, not necessarily valid X-sender_host_address: 2607:f8b0:4864:20::742 X-sender_host_name: mail-qk1-x742.google.com X-BeenThere: corpora@uib.no X-Mailman-Version: 2.1.12 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Original-Sender: corpora-bounces@uib.no Errors-To: corpora-bounces@uib.no Xref: news.gmane.org gmane.science.linguistics.corpora:29663 gmane.comp.science.types.announce:8296 gmane.comp.java.jsr.166-concurrency:16949 gmane.science.mathematics.petri-nets:5499 gmane.science.mathematics.categories:9883 Archived-At: --===============7603973681523524097== Content-Type: multipart/alternative; boundary="0000000000009108840585f56984" --0000000000009108840585f56984 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable CALL FOR PAPERS 4th International Workshop on AI aspects in Reasoning, Languages, and Computation 2019 (AIRLangComp'19) https://www.fedcsis.org/2019/airlangcomp Leipzig, Germany, 1 - 4 September, 2019 There is general realization that computational models of human reasoning can be improved by integration of heterogeneous resources of information and AI techniques, e.g., multidimensional diagrams, images, language, syntax, semantics, memory. While the event targets promotion of integrated computational approaches, we invite contributions from any individual area related to information, formal and natural languages, computation, reasoning. Topics We welcome submissions of papers on the following topics, without limiting to them, across approaches, methods, theories, and applications: - Reasoning systems --- theories and applications - Proof systems and model checkers - Theories of computation and information - Interactive computation and reasoning - Computation and reasoning with heterogeneous information - Space and time in information, language, computation, reasoning, and memory - Partiality, underspecification, vagueness, and possibilities - Computation and reasoning with heterogeneous or inconsistent information - Logic and (formal and natural) language --- approaches, theories, methods - Logic approaches to computational linguistics - Computational morphology, syntax, semantics, and interfaces between these - Constraint-based and type-theoretic approaches to grammar - Multilingual processing - Logic and theories of computation in machine learning and information retrieval - Mathematics for computational linguistics and cognitive science - Reasoning, information, computation, and memory in computational neuroscience and life sciences - Interdisciplinary approaches to language, computation, reasoning, memory Important Dates - Paper submission (sharp / no extension): May 14, 2019 - Position paper submission: June 4, 2019 - Author notification: June 25, 2019 - Final paper submission and registration: July 10, 2019 - Final deadline for discounted fee: August 1, 2019 -Conference date: September 1-4, 2019 Paper Submission and Publications The publication rules, status, and the submission page for AIRLangComp'19 are the same as for AAIA'19 | FedCSIS: https://www.fedcsis.org/2019/instructions https://www.fedcsis.org/2019/airlangcomp Paper Submission - Authors should submit draft papers (as Postscript, PDF or MSWord file) - The total length of a paper should not exceed 10 pages IEEE style (including tables, figures and references). IEEE style templates are available here - Papers will be refereed and accepted on the basis of their scientific merit and relevance to the workshop - Preprints containing accepted papers will be published on a USB memory stick provided to the FedCSIS participants - Only papers presented at the conference will be published in Conference Proceedings and submitted for inclusion in the IEEE Xplore=C2=AE database -Conference proceedings will be published in a volume with ISBN, ISSN and DOI numbers and posted at the conference WWW site - Conference proceedings will be indexed in BazEkon and submitted for indexation in: Thomson Reuters - Conference Proceedings Citation Index, SciVerse Scopus, Inspec, Index Copernicus, DBLP Computer Science Bibliography and Google Scholar - Extended versions of selected papers presented during the conference will be published as Special Issue(s) - Organizers reserve right to move accepted papers between FedCSIS events Event Chairs - Grabowski, Adam, Institute of Informatics, University of Bialystok, Bialystok, Poland - Loukanova, Roussanka, Stockholm University, Sweden - Schwarzweller, Christoph, Institute of Informatics, University of Gdansk, Poland Contact: airlangcomp2019@fedcsis.org --0000000000009108840585f56984 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
CALL FOR PAPERS

4th International= Workshop on
AI aspects in Reasoning, Lan= guages, and Computation 2019 (AIRLangComp'19)

https://www.fedcsis.org/2019/airlangcomp

Leipzi= g, Germany, =C2=A01 - 4 September, 2019
<= br>
There is general realization that com= putational models of human reasoning can be improved by integration of hete= rogeneous resources of information and AI techniques, e.g., multidimensiona= l diagrams, images, language, syntax, semantics, memory. While the event ta= rgets promotion of integrated computational approaches, we invite contribut= ions from any individual area related to information, formal and natural la= nguages, computation, reasoning.

Topics
We welcome submissions of papers on the= following topics, without limiting to them, across approaches, methods, th= eories, and applications:

- Reasoning systems --- theories and applications
- Proof systems and model checkers
- Theories of computation and information
<= div class=3D"gmail_default">- Interactive computation and reasoning
- Computation and reasoning with heterogeneous i= nformation
- Space and time in informatio= n, language, computation, reasoning, and memory
- Partiality, underspecification, vagueness, and possibilities
=
- Computation and reasoning with heterogeneous= or inconsistent information
- Logic and = (formal and natural) language --- approaches, theories, methods
- Logic approaches to computational linguistics
- Computational morphology, syntax, semantics= , and interfaces between these
- Constrai= nt-based and type-theoretic approaches to grammar
- Multilingual processing
- Logi= c and theories of computation in machine learning and information retrieval=
- Mathematics for computational linguist= ics and cognitive science
- Reasoning, in= formation, computation, and memory in computational neuroscience and life s= ciences
- Interdisciplinary approaches to= language, computation, reasoning, memory

Important Dates

- Paper submission (s= harp / no extension): May 14, 2019
- Posi= tion paper submission: June 4, 2019
- Aut= hor notification: June 25, 2019
- Final p= aper submission and registration: July 10, 2019
- Final deadline for discounted fee: August 1, 2019
-Conference date: September 1-4, 2019

Paper Submission and= Publications

The publication rules, status, and the submission page for AIRL= angComp'19 are the same as for AAIA'19 | FedCSIS:

https://www.fedcsis.org/2019/instructi= ons

https://www.fedc= sis.org/2019/airlangcomp

Paper Submission

- Authors should submit draft pap= ers (as Postscript, PDF or MSWord file)
-= The total length of a paper should not exceed 10 pages IEEE style (includi= ng tables, figures and references). IEEE style templates are available here=
- Papers will be refereed and accepted o= n the basis of their scientific merit and relevance to the workshop
- Preprints containing accepted papers will be p= ublished on a USB memory stick provided to the FedCSIS participants
- Only papers presented at the conference will b= e published in Conference Proceedings and submitted for inclusion in the IE= EE Xplore=C2=AE database
-Conference proc= eedings will be published in a volume with ISBN, ISSN and DOI numbers and p= osted at the conference WWW site
- Confer= ence proceedings will be indexed in BazEkon and submitted for indexation in= : Thomson Reuters - Conference Proceedings Citation Index, SciVerse Scopus,= Inspec, Index Copernicus, DBLP Computer Science Bibliography and Google Sc= holar
- Extended versions of selected pap= ers presented during the conference will be published as Special Issue(s)
- Organizers reserve right to move accepte= d papers between FedCSIS events

Event Chairs

- Grabowski, Adam, Institute of In= formatics, University of Bialystok, Bialystok, Poland
- Loukanova, Roussanka, Stockholm University, Sweden
- Schwarzweller, Christoph, Institute of Informati= cs, University of Gdansk, Poland

Contact: airlangcomp2019@fedcsis.org
--0000000000009108840585f56984-- --===============7603973681523524097== Content-Type: text/plain; charset="iso-8859-1" MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable Content-Disposition: inline _______________________________________________ UNSUBSCRIBE from this page: http://mailman.uib.no/options/corpora Corpora mailing list Corpora@uib.no https://mailman.uib.no/listinfo/corpora --===============7603973681523524097==--