caml-list - the Caml user's mailing list
 help / Atom feed
* [Caml-list] SYNT 2019: Call for Abstracts
@ 2019-04-16 15:22 Thomas Wies
  0 siblings, 0 replies; 1+ messages in thread
From: Thomas Wies @ 2019-04-16 15:22 UTC (permalink / raw)
  To: caml-list

       			  Call for Abstracts
----------------------------------------------------------------------
                      8th Workshop on Synthesis

                               SYNT 2019
----------------------------------------------------------------------

July 14, 2019
New York, NY, USA
A Satellite Workshop of CAV 2019

http://cs.nyu.edu/acsys/synt2019/


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

* Submission deadline: May 3, 2019
* Notification:        May 31, 2019
* Workshop:            July 14, 2019


Objectives
----------

The SYNT workshop aims to bring together researchers interested in the
broad area of synthesis of computing systems. The workshop fosters the
development of frontier techniques in automating the development of
computing systems and is inclusive in its interpretation of the term
synthesis

Topics of interest include, but are not limited to:

* algorithms and tools for program synthesis and reactive
  (discrete-time, timed, hybrid, ...) synthesis,
* specification languages and optimization in synthesis,
* complexity and decidability results for synthesis,
* case studies of software or hardware synthesis,
* connections between verification and synthesis,
* synthesis by model learning,
* connections between synthesis and inductive programming,
* new approaches or applications for synthesis,
* description and analysis of benchmark families for synthesis.

Submission
----------

SYNT 2019 welcomes submissions of extended abstracts of up to 3 pages in
the two-column sub-format of the ACM proceedings format. Submissions
will be judged on how interesting they are to the SYNT community.
Overlap with previously published work should be indicated, but does not
disqualify a submission if the presentation can be expected to be of
enough interest. Copies of the accepted submissions will be provided to
the participants.

Submission is via easychair.org:
<https://easychair.org/conferences/?conf=synt2019>.

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

Forthcoming.


Program Chairs
--------------

* Markus Rabe (Google, USA)
* Thomas Wies (NYU, USA)

Program Committee
-----------------

* Roderick Bloem (Graz University of Technology, Austria)
* Pavol Cerny (University of Colorado Boulder, USA)
* Supratik Chakraborty (IIT Bombay, India)
* Christina David (University of Cambridge, UK)
* Rayna Dimitrova (University of Leicester, UK)
* Rüdiger Ehlers (University of Bremen, Germany)
* Bernd Finkbeiner (Saarland University, Germany)
* Dana Fisman (Ben Gurion University, Israel)
* Swen Jacobs (CISPA, Germany)
* Viktor Kuncak (EPFL, Switzerland)
* Lucas Martinelli Tabajara (Rice University, USA)
* Necmiye Ozay (University of Michigan, USA)
* Doron Peled (Bar Ilan University, Israel)
* Guillermo Perez (University of Antwerp, Belgium)
* Elizabeth Polgreen (University of Oxford, UK)
* Mukund Raghothaman (University of Pennsylvania, USA)
* Mark Santolucito (Yale University, USA)
* Sven Schewe (University of Liverpool, UK)
* Martina Seidl (Johannes Kepler University, Austria)
* Eran Yahav (Technion, Israel)

^ permalink raw reply	[flat|nested] 1+ messages in thread

only message in thread, back to index

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2019-04-16 15:22 [Caml-list] SYNT 2019: Call for Abstracts Thomas Wies

caml-list - the Caml user's mailing list

Archives are clonable: git clone --mirror https://inbox.ocaml.org/caml-list

AGPL code for this site: git clone https://public-inbox.org/ public-inbox