From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/9904 Path: news.gmane.org!.POSTED.blaine.gmane.org!not-for-mail From: Bob Coecke Newsgroups: gmane.comp.science.types.announce,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: <4489061F-EB6F-4C4B-9782-40257B612AB1@cs.ox.ac.uk> Mime-Version: 1.0 (Mac OS X Mail 9.3 \(3124\)) Content-Type: multipart/mixed; boundary="===============6837383078647445275==" Injection-Info: blaine.gmane.org; posting-host="blaine.gmane.org:195.159.176.226"; logging-data="227357"; mail-complaints-to="usenet@blaine.gmane.org" Cc: Bob Coecke To: categories , types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org, quantum-foundations-mrEvjEli4ZAJrcTbIn6FzVpr/1R2p/CL@public.gmane.org Original-X-From: types-announce-bounces-0AtTguNXcGkudfPDI7pAfjevRRvlBcP1@public.gmane.org Sat May 04 22:50:44 2019 Return-path: Envelope-to: gcst-types-announce-Uylq5CNFT+jYtjvyW6yDsg@public.gmane.org Original-Received: from rhizome.seas.upenn.edu ([158.130.69.24]) by blaine.gmane.org with esmtp (Exim 4.89) (envelope-from ) id 1hN1cD-000wuP-TX; Sat, 04 May 2019 22:50:38 +0200 Original-Received: from RHIZOME.SEAS.UPENN.EDU (localhost.upenn.edu [127.0.0.1]) by RHIZOME.seas.upenn.edu (8.15.2/8.14.3) with ESMTP id x44KmAmK002574; Sat, 4 May 2019 16:48:30 -0400 X-Mailman-Handler: $Id: mm-handler,v 1.2 2002/04/05 19:41:09 bwarsaw Exp $ Original-Received: from psychopathy.seas.upenn.edu (psychopathy.seas.upenn.edu [158.130.67.191]) by RHIZOME.seas.upenn.edu (8.15.2/8.14.3) with ESMTP id x449ShRt008203 for ; Sat, 4 May 2019 05:28:43 -0400 Original-Received: from mx0b-000c2a01.pphosted.com (mx0b-000c2a01.pphosted.com [148.163.155.36]) by psychopathy.seas.upenn.edu (8.15.2/8.15.2) with ESMTPS id x449Sgbl040560 (version=TLSv1.2 cipher=AES256-GCM-SHA384 bits=256 verify=NOT) for ; Sat, 4 May 2019 05:28:43 -0400 Original-Received: from pps.filterd (m0128480.ppops.net [127.0.0.1]) by mx0b-000c2a01.pphosted.com (8.16.0.27/8.16.0.27) with SMTP id x449NtUT031333 for ; Sat, 4 May 2019 05:28:42 -0400 Authentication-Results: ppops.net; spf=pass smtp.mailfrom=Bob.Coecke-6XCrzUfQPq310XsdtD+oqA@public.gmane.org Original-Received: from relay13.mail.ox.ac.uk (relay13.mail.ox.ac.uk [129.67.1.166]) by mx0b-000c2a01.pphosted.com with ESMTP id 2s94ysgaae-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT) for ; Sat, 04 May 2019 05:28:42 -0400 Original-Received: from smtp6.mail.ox.ac.uk ([163.1.2.206]) by relay13.mail.ox.ac.uk with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.89) (envelope-from ) id 1hMqyG-0001Co-gu; Sat, 04 May 2019 10:28:40 +0100 Original-Received: from client-8-82.eduroam.oxuni.org.uk ([192.76.8.82] helo=[10.21.206.45]) by smtp6.mail.ox.ac.uk with esmtpsa (TLS1.0:ECDHE_RSA_AES_256_CBC_SHA1:256) (Exim 4.89) (envelope-from ) id 1hMqyF-000AZQ-KX; Sat, 04 May 2019 10:28:39 +0100 X-Mailer: Apple Mail (2.3124) X-Oxford-Username: coml0098 X-CLX-Shades: MLX X-CLX-Response: 1TFkXGxwfEQpMehcaEQpZRBdvWkkBRWdiBUgFaxEKWFgXYEJaYUhoTXxTBWU RCnhOF2ZDXV5OfVhvWxJYEQp5TBdkeGZ4XF1FY2NrYBEKeUMXYhsTQEFhHlNpclgRCllNF2dmch EKWUkXGnEaEBp3BhseH3EYHRAadwYYGgYaEQpZXhdobnkRCklGF19aT0REWU9LWXVCRVleT04RC kNOF29aaXBAZ1lZXV1lZWl8YWIabX5dUkxgbGtEGltpcElJEQpYXBcfBBoEGx0bBxIcTxJPTBxM BRsaBBsbGgQeEgQbExMQGx4aHxoRCl5ZF39rXAVGEQpNXBcbEhkRCkxaF2hpTU1rEQpCTxdlXkB +BWhAcmBHHxEKQ1oXGxgTBBwdBBsEGxwcEQpCXhcbEQpEXhcZEQpESRcbEQpCXBcaEQpCRRd6bV N5Xk1uXXlhGhEKQk4XZkNdXk59WG9bElgRCkJMF2BCWmFIaE18UwVlEQpCbBdsTX9kXXpaclxZT xEKQkAXaX1YbURIGkZZGU0RCkJYF29ER096fF1MW0xoEQpNXhcbEQpaWBccEQpwaBdnbXtzUER7 YkRQcxAZGhEKcGgXZk9IGG5AS15CflkQGRoRCnBoF2FacGxOH15hEwV4EBkaEQpwaBdtGU5aZBp vZhtLRhAZGhEKcGgXa3ppGXhkYmRHfEEQGRoRCnB/F2VDQRlpT2hORUJlEBsYGxEKcF8Xekx/WA FmSEJTWEkQGRoRCnB9F2dgfWAdWkBjTgEBEBkaEQpwfRdnYH1gHVpAY04BARAZGhEKcH8XbVNfG XgZG0JhHU4QGRoRCnBfF2FdekMcckxCHnIeEBkaEQpwfRdhXXpDH X-Proofpoint-SPF-Result: pass X-Proofpoint-SPF-Record: v=spf1 redirect=_spf.ox.ac.uk] X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10434:, , definitions=2019-05-04_08:, , signatures=0 X-Proofpoint-Spam-Details: rule=outbound_notspam policy=outbound score=0 priorityscore=0 malwarescore=0 suspectscore=0 phishscore=0 bulkscore=0 spamscore=0 clxscore=165 lowpriorityscore=0 mlxscore=0 impostorscore=0 mlxlogscore=999 adultscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.0.1-1810050000 definitions=main-1905040053 X-Mailman-Approved-At: Sat, 04 May 2019 16:48:10 -0400 X-BeenThere: types-announce-0AtTguNXcGkudfPDI7pAfjevRRvlBcP1@public.gmane.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Announcements of interest to the TYPES community List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: types-announce-bounces-0AtTguNXcGkudfPDI7pAfjevRRvlBcP1@public.gmane.org Original-Sender: "Types-announce" Xref: news.gmane.org gmane.comp.science.types.announce:8379 gmane.science.mathematics.categories:9904 Archived-At: --===============6837383078647445275== Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Disposition: inline [ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] --===============6837383078647445275== Content-Type: multipart/alternative; boundary="Apple-Mail=_38188E05-3A13-45D5-9DBB-9C8A17B0A1EE" --Apple-Mail=_38188E05-3A13-45D5-9DBB-9C8A17B0A1EE Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=us-ascii 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/ = ]= --Apple-Mail=_38188E05-3A13-45D5-9DBB-9C8A17B0A1EE Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=us-ascii
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.  

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) 
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) 
Bob Coecke (University of Oxford)
David Spivak = (MIT)
Christina Vasilakopoulou (UC Riverside)



[For admin and = other information see: http://www.mta.ca/~cat-dist/ ]= --Apple-Mail=_38188E05-3A13-45D5-9DBB-9C8A17B0A1EE-- --===============6837383078647445275==--