[logic-ml] Linearity 2016 - CFP

[hassei at kurims.kyoto-u.ac.jp]

皆様、

来年６月に開催される国際会議FSCD 2016の併設ワークショップ
Linearity 2016 のcall for papersです。
論文の投稿をご検討いただけますと幸いです。

長谷川真人
京都大学数理解析研究所


=======================================================================
                            Call for Papers

              Fourth International Workshop on Linearity
                             LINEARITY'16

                    Porto, Portugal, 25 June 2016
                       Affiliated with FSCD'16

                  http://www.cs.cmu.edu/~linearity16
=======================================================================
                  SUBMISSION DEADLINE: 8 APRIL 2016

Ever since the birth of Girard's linear logic, there has been a stream of
research in Computer Science where linearity is a key issue, covering both
theoretical topics and applications, such as work on proof technology,
complexity classes and more recently quantum computation, program
analysis, expressive operational semantics, linear programming languages,
and techniques for program transformation, update analysis and efficient
implementation.

The aim of this workshop is to bring together researchers who are
currently developing theory and applications of linear calculi, to foster
their interaction and provide a forum for presenting new ideas and work in
progress, and enable newcomers to learn about current activities in this
area.

New results that make central use of linearity, ranging from foundational
work to applications in any field, are welcome.  Also welcome are more
exploratory presentations, which may examine open questions and raise
fundamental concerns about existing theories and practices.  Topics of
interest include, but are not limited to:

- sub-linear logics
- linear term calculi
- linear type systems
- linear proof-theory
- linear programming languages
- applications to concurrency
- interaction-based systems
- verification of linear systems
- quantum models of computation
- biological and chemical models of computation


Important Dates

Abstract submission deadline: Friday    8 April 2016
Submission deadline:          Friday   15 April 2016
Notification to authors:      Friday   13 May   2016
Final versions due:           Friday   27 May   2016
Workshop date:                Saturday 25 June  2016


Submission

Authors are invited to submit an extended abstract (8 pages max)
describing original ideas and recent results not published nor submitted
elsewhere, or a 5-page abstract presenting relevant work that has been or
will be published elsewhere, or work in progress.  Preliminary proceedings
will be available at the workshop.  Papers should be written in English,
and submitted in PDF format using the EPTCS style files.  Submission is
through the Easychair website:
https://www.easychair.org/conferences/?conf=linearity2016


Publication

After the workshop, authors of the extended abstracts will be invited to
submit a longer version of their work (typically a 15-pages paper) for
publication in an electronic journal such as EPTCS.  These submissions
will undergo a second round of refereeing. Furthermore, we envision
publication of a special issue of a journal after the event.


Programme Committee

- Emmanuel Beffara (Universite d'Aix-Marseille)
- Luis Caires (Universidade Nova de Lisboa)
- Iliano Cervesato (Carnegie Mellon University, co-chair)
- Maribel Fernandez (King's College London, co-chair)
- Marco Gaboardi (University at Buffalo, SUNY)
- Masahito Hasegawa (Kyoto University)
- Damiano Mazza (CNRS - Universite Paris 13)
- Vivek Nigam (Universidade Federal da Paraiba)
- Giselle Reis (Inria)
- Claudio Sacerdoti Coen (University of Bologna)
- Andre Scedrov (University of Pennsylvania)


Contact

Iliano Cervesato:  iliano at cmu.edu
Maribel Fernandez: Maribel.Fernandez at kcl.ac.uk

=======================================================================