From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/9903 Path: news.gmane.org!.POSTED.blaine.gmane.org!not-for-mail From: Bob Coecke Newsgroups: gmane.science.mathematics.categories Subject: Deadline extension: Applied Category Theory 2019, July 15-19, Oxford. Date: Sat, 4 May 2019 10:29:43 +0100 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="34639"; mail-complaints-to="usenet@blaine.gmane.org" To: categories Original-X-From: majordomo@mlist.mta.ca Sat May 04 14:19:58 2019 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp2.mta.ca ([198.164.44.55]) by blaine.gmane.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.89) (envelope-from ) id 1hMte2-0008rf-4N for gsmc-categories@m.gmane.org; Sat, 04 May 2019 14:19:58 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:40012) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1hMtfD-0006Sd-K0; Sat, 04 May 2019 09:21:11 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1hMtcx-0006Dr-0C for categories-list@mlist.mta.ca; Sat, 04 May 2019 09:18:51 -0300 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:9903 Archived-At: Due to the many requests for an extension to the deadline, papers can be = submitted untill May 10. --- CLOSING 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: 10 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 Gurski 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/ ]