[TYPES/announce] CfP: Formal Techniques for Java-like Programs (FTfJP 2018) @ ECOOP/ISSTA 2018 in Amsterdam

[Summers Alexander John]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

(Please distribute to interested PL parties - apologies for any cross postings)
Workshop website: 
https://conf.researchr.org/track/ecoop-issta-2018/FTfJP-2018-papers
Formal techniques can help analyze programs, precisely describe program 
behavior, and verify program properties. Languages such as Java, C#, and Scala 
are interesting targets for formal techniques due to their ubiquity and wide 
user base, stable and well-defined interfaces and platforms, and powerful (but 
also complex) libraries. New languages and applications in this space are 
continually arising, resulting in new PL research challenges.
Work on formal techniques and tools and on the formal underpinnings of 
programming languages themselves naturally complement each other. FTfJP is an 
established workshop which has run annually since 1999 alongside ECOOP, with 
the goal of bringing together people working in both fields. The workshop has a 
broad PL theme; the most important criterion is that submissions will generate 
interesting discussions within this community. Example topics of interest 
include:

  *   Language design and semantics
  *   Type systems
  *   Concurrency and new application domains
  *   Specification and verification of program properties
  *   Program analysis (static or dynamic)
  *   Security
  *   Pearls (programs or proofs)
FTfJP welcomes submissions on technical contributions, case studies, experience 
reports, challenge proposals, and position papers. Just as the number and the 
feature set of Java-like languages is expanding, the term "Java-like" should be 
interpreted broadly.

Submissions


Contributions related to formal techniques for Java-like programs are sought in 
two categories:

Full Papers. In 6 two-column pages, the paper should present a technical 
contribution, case study, or detailed experience report. We welcome both 
complete and incomplete technical results; ongoing work is particularly 
welcome, provided it is substantial enough to stimulate interesting discussions.

Short Papers. In 2 two-column pages, the paper should advocate a promising 
research direction, or otherwise present a position likely to stimulate 
discussion at the workshop. We encourage e.g. established researchers to set 
out a personal vision, and beginning researchers to present a planned path to a 
PhD.

Both types of contributions will benefit from feedback received at the 
workshop. Submissions will be peer reviewed, and will be evaluated based on 
their clarity and based on their potential to generate interesting discussions. 
The format of the workshop encourages interaction. FTfJP is a forum in which a 
wide range of people share their expertise, from experienced researchers to 
beginning PhD students.

Accepted papers will be published in the ACM Digital Library by default, though 
authors will be able to opt out of this publication, if desired. The use of 
ACM's template for the SIGPLAN 
format is required. At 
least one author of an accepted paper must attend the workshop to present the 
work and participate in the discussions.

Important Dates:

  *   Wed 9th May AOE: submission 
deadline
  *   Thu 14th Jun: acceptance notifications
  *   Sun 17th Jun: early registration deadline (for both main conferences and 
workshops)

Paper submission website: https://easychair.org/conferences/?conf=ftfjp2018

Program Committee

William J. Bowman (Northeastern University)
John Tang Boyland (University of Wisconsin-Milwaukee)
Mariangiola Dezani-Ciancaglini (Università di Torino, Italy)
Erik Ernst (Google, Aarhus)
Juliana Franco (Imperial College London)
Timothy Jones (Montoux)
Laura Kovacs (Vienna University of Technology, Austria and Chalmers University 
of Technology, Sweden)
Siddharth Krishna (New York University)
Oded Padon (Tel Aviv University)
Matthew Parkinson (Microsoft Research Cambridge)
Guido Salvaneschi (Technical University of Darmstadt)
Alexander J. Summers (ETH Zurich)
Elena Zucca (DIBRIS, University of Genova)

[TYPES/announce] 5th Workshop on Natural Language and Computer Science NLCS '18 July 7-8, 2018

[Valeria de Paiva]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

Fifth Workshop on Natural Language and Computer Science
NLCS '18
July 7-8, 2018
Oxford, UK
http://www.indiana.edu/~iulg/nlcs.html

A workshop affiliated with Federated Logic Conference (FLoC) 2018
Endorsed by the Association for Computational Linguistics Special Interest
Group on Computational Semantics.
We are grateful to Jesus College, Oxford, for their support of our workshop.

AIMS AND SCOPE

Formal tools coming from logic and category theory are important in both
natural language semantics and in computational semantics. Moreover, work
on these tools borrows heavily from all areas of theoretical computer
science. In the other direction, applications having to do with natural
language has inspired developments on the formal side. The workshop invites
papers on both topics. Specific topics includes, but are not limited to:

* logic for semantics of lexical items, sentences, discourse and dialog
* continuations in natural language semantics
* formal tools in textual inference, such as logics for natural language
inference
* applications of category theory in semantics
* linear logic in semantics
* formal approaches to unifying data-driven and declarative approaches to
semantics


INVITED SPEAKERS

Ann Copestake, University of Cambridge
Aurelie Herbelot, Universitat Pompeu Fabra, Barcelona



PROGRAM COMMITTEE

Ash Asudeh, University of Oxford/Carleton University
Simon Charlow, Rutgers University
Valeria de Paiva, Nuance.com
Thomas Graf, State University of New York, Stony Brook
Martha Lewis, University of Oxford
Larry Moss, Indiana University, Bloomington
Christian Retoré, Université de Montpellier
Mehrnoosh Sadrzadeh, Queen Mary University of London
Annie Zaenen, Stanford University

PAPER SUBMISSIONS

Extended abstracts of up to 10 pages may be submitted through Easychair:
https://easychair.org/conferences/?conf=nlcs18


ORGANIZERS

Ash Asdeh
University of Oxford/Carleton University
Email: ash.asudeh at ling-phil. ox. ac.uk

Valeria de Paiva
Nuance.com
Email: Valeria.dePaiva at nuance .com

Larry Moss
Indiana University
Email: lsm at cs.indiana . edu


IMPORTANT DATES

Paper submission: May 1, 2018
Notification: May 15, 2018
Electronic versions due: May 31, 2018


-- 
Valeria de Paiva
http://vcvpaiva.github.io/
http://research.nuance.com/author/valeria-de-paiva/
http://www.cs.bham.ac.uk/~vdp/

[TYPES/announce] Twenty Years of Deep Inference workshop- second CfP

[Andrea Aler]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

*

Are you working on a deep inference related topic, but you missed the
FLoC deadlines? It is not too late! Present your work at the special
event dedicated to

TWENTY YEARS OF DEEP INFERENCE

 Oxford, July 7, 2018

   Part of FLoC 2018

  


Aim and Scope:
--

Deep inference is a paradigm for designing deductive proof
systems. The inference rules in such systems can perform arbitrary
rewriting inside formulas. This is very different from what one would
expect from more traditional formalisms, like sequent calculus or
natural deduction, where formulas are always decomposed along their
main connective.

The purpose of this workshop is to

- present this vast growing field in a coherent, easy accessible way
  to other communities in all areas of logic in computer science, and

- bring together researchers in the area of deep inference to exchange
  ideas and to discuss their current work.


Invited Speakers:
-

Alessio Guglielmi (University of Bath)
Willem Heijltjes (University of Bath)


Contributions:
--

Since we will not publish any proceeding, we accept talks about work
in progress as well as already published/submitted work. However, we
do not allow work that is presented at another FLoC event.


Submission Instructions:


If you want to give a talk please submit an abstract of 1-3 pages in
pdf-format via the EasyChair submission page:




Important Dates:


15 April 2018: abstract submission deadline
15 May 2018: Author notification
7 July 2018: Workshop


Organization:
-

Andrea Aler Tubella (IRIF, CNRS & Univ. Paris Diderot)
Lutz Straßburger (Inria Saclay)

[TYPES/announce] Call for Papers: Mathematically Structured Programming 2018

[Robert Atkey]

[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

Seventh Workshop on
MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING
Sunday 8th July 2018, Oxford, UK
A satellite workshop of FSCD 2018

http://msfp2018.bentnib.org/

  ** New this time: additional short paper category **

  ** Deadline: 5th April (abstract), 12th April (paper) **

The seventh workshop on Mathematically Structured Functional
Programming is devoted to the derivation of functionality from
structure. It is a celebration of the direct impact of Theoretical
Computer Science on programs as we write them today. Modern
programming languages, and in particular functional languages, support
the direct expression of mathematical structures, equipping
programmers with tools of remarkable power and abstraction. Where
would Haskell be without monads? Functional reactive programming
without temporal logic?  Call-by-push-value without adjunctions? The
list goes on. This workshop is a forum for researchers who seek to
reflect mathematical phenomena in data and control.

The first MSFP workshop was held in Kuressaare, Estonia, in July 2006,
affiliated with MPC 2006 and AMAST 2006. The second MSFP workshop was
held in Reykjavik, Iceland as part of ICALP 2008. The third MSFP
workshop was held in Baltimore, USA, as part of ICFP 2010. The fourth
workshop was held in Tallinn, Estonia, as part of ETAPS 2012. The
fifth workshop was held in Grenoble, France, as part of ETAPS
2014. The sixth MSFP Workshop was held in April 2016, in Eindhoven,
Netherlands, just after ETAPS 2016.

Important Dates:


Abstract deadline:  5th April (Thursday)
Paper deadline:12th April (Thursday)
Notification:  17th May (Thursday)
Final version: 14th June (Thursday)
Workshop:   8th July (Sunday)

Invited Speakers:
=

 - Tamara von Glehn, University of Cambridge, UK
 - Second speaker to be confirmed

Program Committee:
==

Andreas Abel  - Chalmers, Sweden
Danel Ahman   - INRIA Paris, France
Robert Atkey  - University of Strathclyde, UK (co-chair)
Jeremy Gibbons- University of Oxford, UK
Jennifer Hackett  - University of Nottingham, UK
Mauro Jaskelioff  - Universidad Nacional de Rosario, Argentina
Shin-ya Katsumata - National Institute of Informatics, Japan
Sam Lindley   - University of Edinburgh, UK (co-chair)
Clare Martin  - Oxford Brookes University, UK
Shin-Cheng Mu - Academia Sinica, Taiwan
Valeria de Paiva  - Nuance Communications, US
Alexandra Silva   - University College London, UK

Submission:
===

Submissions are welcomed on, but by no means restricted to, topics
such as:

structured effectful computation
structured recursion
structured corecursion
structured tree and graph operations
structured syntax with variable binding
structured datatype-genericity
structured search
structured representations of functions
structured quantum computation
structure directed optimizations
structured types
structure derived from programs and data

Please contact the programme chairs Robert Atkey and Sam Lindley if
you have any questions about the scope of the workshop.

New this time We accept two categories of submission: full papers of
no more than 15 pages that will appear in the proceedings, and
extended abstracts of no more than 2 pages which we will post on the
website, but which do not constitute formal publications and will not
appear in the proceedings. References and appendices are not included
in page limits. Appendices may not be read by reviewers.

Papers must report previously unpublished work and not be submitted
concurrently to another conference with refereed proceedings. Accepted
papers must be presented at the workshop by one of the authors.  The
proceedings will be published under the auspices of EPTCS with a
Creative Commons license.

We are using EasyChair to manage submissions. To submit a paper, use
this link:

https://easychair.org/conferences/?conf=msfp2018.