From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/9826 Path: news.gmane.org!.POSTED.blaine.gmane.org!not-for-mail From: Bob Coecke Newsgroups: gmane.science.mathematics.categories Subject: Call for contributions: Applied Category Theory 2019, July 15-19, Oxford. Date: Wed, 6 Feb 2019 13:58:15 +0000 Message-ID: Reply-To: Bob Coecke Mime-Version: 1.0 (Mac OS X Mail 9.3 \(3124\)) Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable Injection-Info: blaine.gmane.org; posting-host="blaine.gmane.org:195.159.176.226"; logging-data="42193"; mail-complaints-to="usenet@blaine.gmane.org" To: categories Original-X-From: majordomo@mlist.mta.ca Wed Feb 06 18:13:39 2019 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp3.mta.ca ([198.164.44.56]) by blaine.gmane.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.89) (envelope-from ) id 1grQlU-000AlB-C1 for gsmc-categories@m.gmane.org; Wed, 06 Feb 2019 18:13:36 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:39556) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1grQkI-0006sp-7R; Wed, 06 Feb 2019 13:12:22 -0400 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1grQjU-0003Oy-Ty for categories-list@mlist.mta.ca; Wed, 06 Feb 2019 13:11:32 -0400 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:9826 Archived-At: CALL FOR PAPERS Applied Category Theory 2019 July 15-19, 2019, Oxford, UK http://www.cs.ox.ac.uk/ACT2019/ * * * Applied category theory is a topic of interest for a growing community = of researchers, interested in studying systems of all sorts using = category-theoretic tools. These systems are found in the natural = sciences and social sciences, as well as in computer science, = linguistics, and engineering. The background and experience of our = members is as varied as the systems being studied. The goal of the = ACT2019 Conference is to bring the majority of researchers in the field = together and provide a platform for exposing the progress in the area. = Both original research papers as well as extended abstracts of work = submitted/accepted/published elsewhere will be considered. =20 There will be best paper award(s) and selected contributions will be = awarded extended keynote slots. The conference will include a business showcase and tutorials, and there = also will be an adjoint school, the following week (see webpage). IMPORTANT DATES Submission of contributed papers: 3 May Acceptance/Rejection notification: 7 June SUBMISSIONS Prospective speakers are invited to submit one (or more) of the = following: - Original contributions of high quality work consisting of a 5-12 page = extended abstract that provides sufficient evidence of results of = genuine interest and enough detail to allow the program committee to = assess the merits of the work. Submissions of works in progress are = encouraged but must be more substantial than a research proposal. - Extended abstracts describing high quality work submitted/published = elsewhere will also be considered, provided the work is recent and = relevant to the conference. These consist of a maximum 3 page = description and should include a link to a separate published paper or = preprint. The conference proceedings will be published in a dedicated Proceedings = issue of the new Compositionality journal: http://www.compositionality-journal.org Only "original contributions" are eligible to be published in the = proceedings. Submissions should be prepared using LaTeX, and must be submitted in PDF = format. Use of the Compositionality style is encouraged. Submission is = done via EasyChair: https://easychair.org/conferences/?conf=3Dact2019 PROGRAM CHAIRS: John Baez (UC Riverside)=20 Bob Coecke (University of Oxford) PROGRAM COMMITTEE Bob Coecke (chair) John Baez (chair) Christina Vasilakopoulou David Moore Josh Tan Stefano Gogioso Brendan Fong Steve Lack Simona Paoli Joachim Kock Kathryn Hess Bellwald Tobias Fritz David I. Spivak Ross Duncan Dan Ghica Valeria de Paiva Jeremy Gibbons Samual Mimram Aleks Kissinger Jamie Vicary Martha Lewis Nick Ghurski Dusko Pavlovic Chris Heunen Corina Cirstea Helle Hvid Hansen Dan Marsden Simon Willerton Pawel Sobocinski Dominic Horsman Nina Otter Miriam Backens STEERING COMMITTEE John Baez (UC Riverside)=20 Bob Coecke (University of Oxford) David Spivak (MIT) Christina Vasilakopoulou (UC Riverside) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]