[TYPES/announce] 2nd CfP: STRING 2017

Josh Holland josh at inv.alid.pw
Thu Jun 15 11:05:52 EDT 2017


=============================================
CALL FOR PAPERS
1st Annual Workshop on String Diagrams in 
Computation, Logic, and Physics
(STRING 2017)

http://string2017.cs.ru.nl/index.html

Satellite workshop of FSCD 2017, 
co-located with HDRA 2017.

Jericho Tavern, Oxford, UK 
September 8-9, 2017
=============================================

String diagrams are a powerful tool for reasoning about processes and
composition. Originally developed as a convenient notation for the
arrows of monoidal and higher categories, they are increasingly used in
the formal study of digital circuits, control theory, concurrency,
quantum and classical computation, natural language processes, logic and
more. String diagrams combine the advantages of formal syntax with
intuitive aspects: the graphical nature of terms means that they often
reflect the topology of systems under consideration. Moreover,
diagrammatic reasoning transforms formal arguments into dynamic, moving
images, thus building domain specific intuitions, valuable both for
practitioners and pedagogy.

This workshop aims to bring together researchers from diverse
backgrounds and specialities to collaborate and share their insights,
tools, and techniques. It will furthermore provide an informal
atmosphere in a unique venue: the upstairs of the Jericho Tavern, a
music venue, where famously Radiohead played their first concert. All
the usual conference facilities will be provided, and the distinctive
location will provide plenty of opportunities to discuss and share
ideas. STRING 2017 is a satellite event of FSCD 2017
(http://www.cs.ox.ac.uk/conferences/fscd2017/) and will be co-located
with the 3rd Higher-Dimensional Rewriting and Applications
(http://hdra.gforge.inria.fr).

Invited Speakers
----------------

- Paul-André Mèllies (CNRS and Paris Diderot) - joint HDRA and STRING
invited speaker
- Dan Ghica (Birmingham) - Applications of string diagrams in circuit
design and verification
- Bob Coecke (Oxford) - Applications of string diagrams in quantum
foundations and quantum computation


Submitting
----------

We warmly welcome all types of contributions, ranging from
work-in-progress to original work and/or overviews of mature work
published elsewhere, on topics ranging from theory of string diagrams,
to applications and tool demos.

Prospective speakers are invited to submit a title and 2 page abstract
via the Easychair page at
https://easychair.org/conferences/?conf=string2017

We will try to build a programme that is as inclusive and wide-ranging
as possible within the fairly limited time available. Hence, speakers
will be invited either to give a full-length talk or give a short talk
in a "lightning session" style format.

The accepted abstracts will be made available electronically before the
workshop.

Important Dates
---------------

Abstract deadline: 30 June 2017
Speaker notification: 14 July 2017
Workshop: 8-9 September 2017

Program Committee
-----------------
* Filippo Bonchi (ENS Lyon)
* Ross Duncan (Strathclyde)
* Fabio Gadducci (Pisa)
* Aleks Kissinger (Radboud)
* Dan Marsden (Oxford)
* Mehrnoosh Sadrzadeh (Queen Mary)
* Pawel Sobocinski (Southampton)
* David Spivak (MIT)
* Noam Zeilberger (Birmingham)

Organisers
----------
* Aleks Kissinger - Radboud Universiteit
* Pawel Sobocinski - University of Southampton

Publicity
---------
* Joshua Holland - University of Southampton


More information about the Types-announce mailing list