[TYPES/announce] TaPP 2017 - Call for Papers

[James Cheney]

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

9th International Workshop on Theory and Practice of Provenance
Call for Papers

TaPP 2017 continues the tradition of providing a genuine workshop
environment for discussing and developing new ideas and exploring
connections between disciplines and between academic research on provenance
and practical applications. TaPP will take place June 22-23, 2017 in
Seattle, WA, USA on the University of Washington campus.

We invite innovative and creative contributions, including papers outlining
new challenges for provenance research, promising formal approaches to
provenance, innovative use of provenance, experience-based insights,
resourceful experiments, and visionary (and possibly risky) ideas.
Proposals for tutorials, panel or group discussions, reports on early stage
research, or any other activities that will create a successful workshop
are encouraged.

Topics of interest include, but are not limited to, the following:

  •  Provenance management system prototypes and commercial solutions
  •  Provenance analytics, querying, and reasoning about provenance
  •  Visualizing provenance information
  •  Performance aspects of provenance capture, storage, and analytics
  •  Standardization of provenance models and representations
  •  Security and privacy implications of provenance
  •  Applications of provenance in real life settings
  •  Human interaction with provenance
  •  Retroactive reconstruction of provenance
  •  Using provenance for evaluating data quality and trust in data
  •  Novel methods for capturing provenance
  •  Integrating provenance information
  •  Interoperability among provenance-aware systems
  •  Provenance discovery

Important Dates:

  Abstract Registration Due: March 13, 2017
  Paper submission deadline: March 20, 2017
  Acceptance Notification: May 1, 2017
  Camera-ready deadline: TBD
  (All deadlines are 23:59:59 UTC-11)

Submission Instructions:

  •Not published or under review elsewhere
  •Formatted according to the ACM SIGPLAN two-column format (
http://www.sigplan.org/Resources/Author/ )
  •Typically 4 pages, and no longer than 8 pages. An extra 4 pages of
supporting material may be submitted, but the reviewers will not be obliged
to read them
  •"Short papers" of 4 pages or less need not make an original research
contribution and will be evaluated on the basis of originality, relevance,
and contribution to the workshop
  •Proposals for tutorials, demos, discussions or other activities
should be submitted as short papers

As in previous years, contributions to TaPP will be published online as
open access; authors retain copyright to their submissions and full-length
papers based on TaPP contributions may be submitted to other venues.

Further instructions, including a link to the submission site, will be
available shortly at
 http://batesa.web.engr.illinois.edu/tapp17/

Best regards,
Bill Howe and Adam Bates
TaPP 2017 Program Chairs

[TYPES/announce] MT-CPS'17: 2nd International Workshop on Monitoring and Testing of Cyber-Physical Systems

[Ayoub Nouri]

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


MT-CPS'17
2nd International Workshop on
Monitoring and Testing of Cyber-Physical Systems
Pittsburgh, PA, USA
21st April 2017
Co-located with CPS Week
https://sites.google.com/asu.edu/mt-cps-2017 




DESCRIPTION

Cyber-physical systems (CPS) are integrations of heterogeneous 
collaborative entities that interact between themselves and with 
their physical environment. CPS exhibit complex and unpredictable 
behaviors, thus making their correctness and robustness analysis a 
challenging task. In order to address their full complexity, there is an 
emergent need for formal, yet efficient and scalable methods for the 
verification and analysis of CPS. Light-weight verification techniques, 
such as monitoring and testing, achieve both rigor and efficiency by 
enabling the evaluation of systems according to the properties of their 
individual behaviours.
The MT CPS workshop aims at bringing together researchers and 
practitioners interested in the problems of detecting, testing, 
measuring and extracting qualitative and quantitative properties from 
CPS behaviors. Topics of interest include (but are not limited to):

·Specification languages for monitoring and testing
·Runtime verification and monitoring
·Black-box and white-box testing
·Measuring and statistical information gathering
·Simulation-based verification and parameter synthesis
·Diagnostics, error localization and repair
·Combination of static and dynamic analyses
·Applications and case studies

WORKSHOP FORMAT

MT CPS workshop is intended to be a forum for exchanging the latest 
scientific trends between researchers and practitioners interested in 
the field of light-weight verification and analysis of CPS. As a 
consequence, the workshop will *NOT* have formal proceedings. We 
encourage submission of abstracts that address any of the aforementioned 
topics of interest and cover recently published results as well as work 
in progress.


IMPORTANT DATES

· *Abstract submission deadline:* February 20, 2017
· *Notification:* March 6, 2017
· *Early registration:* March 10, 2017
· *Workshop:* April 21, 2017

Program Chairs

 * Houssam Abbas ,
   University of Pennsylvania
 * Jyotirmoy Deshmukh , Toyota
   Technical Center
 * Georgios Fainekos , Arizona
   State University
 * BaekGyu Kim , Toyota
   InfoTechnology Center


 Program Committee

 * Houssam Abbas ,
   University of Pennsylvania, USA
 * Ezio Bartocci
   
,
   Vienna University of Technology, Austria
 * Mauricio Castillo-Effen
   ,
   General Electric
 * Thao Dang
   
,
   VERIMAG, France
 * Jyotirmoy Deshmukh
   
,
   Toyota Technical Center, USA
 * Georgios Fainekos
   
,
   Arizona State University, USA
 * Sebastian Fischmeister
   
,
   University of Waterloo, Canada
 * Ichiro Hasuo
   
,
   University of Tokyo, Japan
 * BaekGyu Kim , Toyota
   InfoTechnology Center, USA
 * Oded Maler
   

[TYPES/announce] call for papers: quantifiers and determiners (QUAD, ESSLLI 2017 Workshop)

[Christian RETORE]

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

QUAD: QUantifiers And Determiners
http://www.lirmm.fr/quad
Toulouse, Monday  July 17 --- Friday July 21:  17:00-18:30 
As part of ESSLLI 2017 
Christian Retoré, LIRMM & université de Montpellier, 
Mark Steedman, University of Edinburgh 

Schedule:

deadline for submissions:  17 Mars 2017 
submission website: https://easychair.org/conferences/?conf=quad2017  
notification to authors:  15 April 2017 
final version due: 19 May 2017 
conference: 17-21 July 2017 

Presentation:

The compositional interpretation of determiners relies on quantifiers  — in a 
general acceptation of this later term which includes generalised quantifiers, 
generics, definite descriptions i.e. any operation that applies to one or 
several formulas with a free variable, binds it  and yields a formula or 
possibly a generic term  (the operator is then called a subnector, following 
Curry). There is a long history of quantification in the Ancient and Medieval 
times at the border between logic and philosophy of language, before the proper 
formalisation of quantification by Frege.

A common solution for natural language semantics is the so-called theory of 
generalised quantifiers. Quantifiers like « some, exactly two, at most three, 
the majority of, most of, few, many, … » are all described in terms of 
functions of two predicates viewed as subsets.

Nevertheless, many mathematical and linguistic questions remain open.

On the mathematical side, little is known about generalised , generalised and 
vague quantifiers, in particular about their proof theory. On the other hand, 
even for standard quantifiers, indefinites and definite descriptions, there 
exist alternative formulations with choice functions and generics or subnectors 
(Russell’s iota, Hilbert-Bernays, eta, epsilon, tau). The computational aspects 
of these logical frameworks are also worth studying, both for computational 
linguistic software and for the modelling of the cognitive processes involved 
in understanding or producing sentences involving quantifiers.

On the linguistic side, the relation between the syntactic structure and its 
semantic interpretation, quantifier raising, underspecification, scope issues,… 
 are not fully satisfactory. Furthermore extension of linguistic studies to 
various languages have shown how complex quantification is in natural language 
and its relation to phenomena like generics, plurals,  and mass nouns.

Finally, and this can be seen as a link between formal models of quantification 
and natural language,  there by now exist psycholinguistic experiments that 
connect formal models and their computational properties to the actual way 
human do process sentences with quantifiers, and handle their inherent 
ambiguity, complexity, and difficulty in understanding. 

All those aspects are connected in the didactics of mathematics and computer 
science: there are specific difficulties to teach (and to learn) how to  
understand, manipulate,  produce and  prove quantified statements, and to 
determine  the proper level of formalisation between bare logical formulas and 
written or spoken natural language. 

This workshop aims at gathering  mathematicians, logicians, linguists, computer 
scientists  to present their latest advances in the study of quantification.

Among the topics that wil be addressed are the following :

• new ideas in quantification in mathematical logic, both model theory 
and proof theory:
• choice functions,
• subnectors (Russell’s iota, Hilbert’s epsilon and tau),
• higher order quantification,
• quantification in type theory
• studies of the lexical, syntactic and semantic of quantification in 
various languages
• semantics of noun phrases
• generic noun phrases
• semantics of plurals and mass nouns
• experimental study of quantification and generics
• computational applications of quantification and polarity especially 
for question-answering.
• quantification in the didactics of mathematics and computer science. 


Submissions: 

The program committee is looking for  contributions introducing 
new viewpoints on quantification and determiners,  
the novelty being either in the mathematical logic framework 
or in the linguistic description  or in the cognitive modelling. 
Submitting purely original work is not mandatory,
but authors should clearly mention that the work is not original,
and why they want to present it at this workshop 
(e.g. new viewpoint on already published results) 

Submissions should be 
- 12pt font (at least) 
- 1inch/2.5cm margins all around (at least) 
- less than 2 pages (references exluded)  
- with an abstract of less then 100 words 
and they should be submitted in PDF by easychair here: 
https://easychair.org/conferences/?conf=quad2017

In case the committee