======================== Call for Papers =================================
WRLA 2016
11th International
Workshop on Rewriting Logic and its Applications
An ETAPS 2016 satellite event
Eindhoven, The Netherlands, April 2-3, 2016
==========================================================================
IMPORTANT DATES
* Abstract deadline: January 6th 2016
* Submission deadline: January 10th 2016
* Author notification: February 14th 2016
* Workshop: Saturday April 2nd and Sunday April 3rd, 2016
AIMS AND SCOPE
Rewriting is a natural model of computation and an expressive semantic
framework for concurrency, parallelism, communication, and interaction. It
can be used for specifying a wide range of systems and languages in various
application domains. It also has good properties as a metalogical framework
for representing logics. Several successful languages based on rewriting
(ASF+SDF, CafeOBJ, ELAN, Maude) have been designed and implemented. The aim
of WRLA is to bring together researchers with a common interest in rewriting
and its applications, and to give them the opportunity to present their
recent work, discuss future research directions, and exchange ideas.
The 2016 edition of WRLA will mark its 20th anniversary since its first
edition in Asilomar, California, in 1996.
The topics of the workshop include, but are not limited to:
A. Foundations
* foundations and models of rewriting and rewriting logic, including
termination, confluence, coherence and complexity
* unification, generalisation, narrowing, and partial evaluation
* constrained rewriting and symbolic algebra
* graph rewriting
* tree automata
* rewriting strategies
* rewriting-based calculi and explicit substitutions
B. Rewriting as a Logical and Semantic Framework
* uses of rewriting and rewriting logic as a logical framework,
including deduction modulo
* uses of rewriting as a semantic framework for programming language
semantics
* rewriting semantics of concurrency models, distributed systems, and
network protocols
* rewriting semantics of real-time, hybrid, and probabilistic systems
* uses of rewriting for compilation and language transformation
C. Rewriting Languages
* rewriting-based declarative languages
* type systems for rewriting
* implementation techniques
* tools supporting rewriting languages
D. Verification Techniques
* verification of confluence, termination, coherence, sufficient
completeness, and related properties
* temporal, modal and reachability logics for verifying dynamic
properties of rewrite theories
* explicit-state and symbolic model-checking techniques for
verification of rewrite theories
* rewriting-based theorem proving, including (co)inductive theorem proving
* rewriting-based constraint solving and satisfiability
* rewriting-semantics-based verification and analysis of programs
E. Applications
* applications to logic, mathematics and physics
* rewriting models of biology, chemistry, and membrane systems
* security specification and verification
* applications to distributed, network, mobile, and cloud computing
* specification and verification of real-time, probabilistic, and
cyber-physical systems
* specifications and verification of critical systems
* applications to model-based software engineering
* applications to engineering and planning
INVITED SPEAKERS
TBA
SUBMISSION
We solicit submissions of regular papers, tool papers, and
work-in-progress papers.
Regular papers must contain original contributions, be clearly written,
include appropriate references, and comparison with related work. They must
be unpublished and not submitted simultaneously for publication
elsewhere.
Tool papers have to present a new tool, a new tool component, or novel
extensions to an existing tool. They should provide a short description of
the theoretical foundations with relevant citations, emphasise the design and
implementation, and give a clear account of the tool's functionality. The
described tools must be publicly available via the web.
Work-in-progress papers present early-stage work or other types of innovative
or thought-provoking work related to the topics of the workshop. The
difference between work-in-progress and regular papers is that work-in-progress
submissions represent work that has not reached yet a level of
completion that would warrant the full-refereed selection process. We
encourage researchers and practitioners to submit work-in-progress papers as
this provides a unique opportunity for sharing valuable ideas, eliciting
useful feedback on ongoing work, and fostering discussions and collaborations
among colleagues.
All submissions should be formatted according to the guidelines for Springer
LNCS papers, and should be submitted electronically using EasyChair at
https://easychair.org/conferences/?conf=wrla2016
Regular and work-in-progress papers should not exceed 15 pages including
references. Tool papers can have a maximum of 6 pages including references
and may have an appendix of up to 4 additional pages with usage details and
tool demonstration.
PUBLICATION
All submissions will be evaluated by the program committee. Regular papers,
tool papers, and work-in-progress papers that are accepted will be presented
at the workshop and included in the pre-proceedings, which will be available
during the workshop. Following the tradition of the last editions, it is
expected the regular papers, tool papers, and invited presentations to be
published as a volume in Springer’s Lecture Notes in Computer Science (LNCS)
series to be distributed after the workshop.
A special issue of the Journal of Logical and Algebraic Methods in
Programming (JLAMP) will be devoted to extended versions of selected papers
from WRLA 2016.
PROGRAM COMMITTEE
Kyungmin Bae, SRI International, USA
Mark van den Brand, Eindhoven University of Technology, The Netherlands
Roberto Bruni, University of Pisa, Italy
Stefan Ciobaca, Alexandru Ioan Cuza University, Romania
Manuel Clavel, IMDEA Software Institute, Spain
Francisco Durán, Universidad de Málaga, Spain
Joerg Endrullis, Vrije Universiteit Amsterdam, The Netherlands
Santiago Escobar, Universidad Politécnica de Valencia, Spain
Maribel Fernández, King's College London, UK
Kokichi Futatsugi, JAIST, Japan
Thomas Genet, ISTIC/Université de Rennes 1, France
Jürgen Giesl, RWTH Aachen, Germany
Deepak Kapur, University of New Mexico, USA
Helene Kirchner, INRIA, France
Alexander Knapp, Universitat Augsburg, Germany
Alberto Lluch Lafuente, Technical University of Denmark, Denmark
Dorel Lucanu, Alexandru Ioan Cuza University, Romania (chair)
Salvador Lucas, Universidad Politécnica de Valencia, Spain
Narciso MartÃ-Oliet, Universidad Complutense de Madrid, Spain
José Meseguer, University of Illinois at Urbana-Champaign, USA
Ugo Montanari, University of Pisa, Italy
Pierre-Etienne Moreau, Université de Lorraine, France
Vivek Nigam, Federal University of ParaÃba, Brasil
Kazuhiro Ogata, JAIST, Japan
Peter Ölveczky, University of Oslo, Norway
Miguel Palomino, Universidad Complutense de Madrid, Spain
Christophe Ringeissen, INRIA-Lorraine Nancy, France
Grigore Rosu, University of Illinois at Urbana-Champaign, USA
Vlad Rusu, INRIA Lille Nord-Europe, France
Ralf Sasse, ETH Zurich, Switzerland
Traian-Florin Serbanuta, University of Bucharest, Romania
Mark-Oliver Stehr, SRI International, USA
Carolyn Talcott, SRI International, USA
Martin Wirsing, Ludwig-Maximilians-Universität München, Germany
CONTACT INFORMATION
For more information, please contact the organizers
dlucanu@info.uaic.ro
or visit the workshop web page
http://fmse.info.uaic.ro/events/WRLA2016/
.
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
2015-10-15
[Caml-list] LPAR-20 in Fiji - Registration is open
===============================================================================
The 20th International Conference on
Logic for Programming, Artificial Intelligence and Reasoning
Suva, Fiji, 23rd-28th November 2015
www.LPAR-20.info
CALL FOR PARTICIPATION
Registration for LPAR-20 is now open ... follow the link from the conference
web page. Information about travel to Fiji, and accomodation in Suva, is also
available on the web page. Come join us for the focussed workshops, the high
quality conference, and the renowned LPAR social events.
===============================================================================
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
The 20th International Conference on
Logic for Programming, Artificial Intelligence and Reasoning
Suva, Fiji, 23rd-28th November 2015
www.LPAR-20.info
CALL FOR PARTICIPATION
Registration for LPAR-20 is now open ... follow the link from the conference
web page. Information about travel to Fiji, and accomodation in Suva, is also
available on the web page. Come join us for the focussed workshops, the high
quality conference, and the renowned LPAR social events.
===============================================================================
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
2015-10-13
[Caml-list] First Call for Papers: CAV 2016, July 17-23, 2016, Toronto, Ontario, Canada
[ posted on behalf of Roopsha Samanta <roopsha.samanta@ist.ac.at> ]
Apologies for multiple copies of this CFP.
***************************************************************
* 28th International Conference
* on
* Computer Aided Verification (CAV 2016)
*
* July 17-23, 2016
* Toronto, Ontario, Canada
*
* Call for Papers
*
* http://i-cav.org/2016/
****************************************************************
Important Dates
----------------------
All deadlines are 4pm EST.
Abstract submission: January 17, 2016 (Sunday)
Paper submission: January 29, 2016 (Friday)
Author response period: March 23-25, 2016 (Wednesday-Friday)
Author Notification: April 15, 2016 (Friday)
Conference: July 17-23, 2016
Scope
--------
CAV 2016 is the 28th in a series dedicated to the advancement of the theory and
practice of computer-aided formal analysis methods for hardware and software
systems. CAV considers it vital to continue spurring advances in hardware and
software verification while expanding to new domains such as biological systems
and computer security. The conference covers the spectrum from theoretical
results to concrete applications, with an emphasis on practical verification
tools and the algorithms and techniques that are needed for their
implementation. The proceedings of the conference will be published in the
Springer LNCS series. A selection of papers will be invited to a special issue
of Formal Methods in System Design and the Journal of the ACM.
Topics of interest include but are not limited to:
* Algorithms and tools for verifying models and implementations
* Algorithms and tools for system synthesis
* Mathematical and logical foundations of verification and synthesis
* Specifications and correctness criteria for programs and systems
* Deductive verification using proof assistants
* Hardware verification techniques
* Program analysis and software verification
* Software synthesis
* Hybrid systems and embedded systems verification
* Compositional and abstraction-based techniques for verification
* Probabilistic and statistical approaches to verification
* Verification methods for parallel and concurrent systems
* Testing and run-time analysis based on verification technology
* Decision procedures and solvers for verification and synthesis
* Applications and case studies in verification and synthesis
* Verification in industrial practice
* New application areas for algorithmic verification and synthesis
* Formal models and methods for security
* Formal models and methods for biological systems
Paper Submission
------------------------
*** NEW this year: Double-blind submissions ***
Submissions on a wide range of topics are sought, particularly ones that
identify new research directions. CAV 2016 is not limited to topics discussed
in previous instances of the conference. Authors concerned about the
appropriateness of a topic may communicate by electronic mail with the
conference chairs prior to submission.
As explained below, CAV 2016 will follow a lightweight double-blind review
process. Submissions that are not "blinded" will be rejected without review.
Submissions will be in two categories: Regular Papers and Tool Papers.
* Regular Papers should not exceed 15 pages in LNCS format, not counting
references. These papers should contain original research and sufficient detail
to assess the merits and relevance of the contribution. Papers will be
evaluated on basis of a combination of correctness, technical depth,
significance, novelty, clarity, and elegance. We welcome papers on theory, case
studies and comparisons with existing experimental research, as well as
combinations of new theory with experimental evaluation. A strong theoretical
paper is not required to have an experimental component. On the other hand,
strong papers reproducing and comparing existing results experimentally do not
require new theoretical insights.
* Tool Papers should not exceed 6 pages, not counting references. These papers
should describe system and implementation aspects of a tool with a large
(potential) user base (experiments not required, rehash of theory strongly
discouraged). Papers describing tools that have already been presented (in any
conference) will be accepted only if significant and clear enhancements to the
tool are reported and implemented.
Unlike last year, there is no separate Short Paper category.
Prior to the registration deadline, the authors will register their paper by
uploading information on the submission title, abstract (of at most 300 words),
authors, topics, and conflicts to the conference web site. Papers that are not
registered on time will be rejected.
We encourage authors to provide any supplementary material that is required to
support the claims made in the paper, such as detailed proofs or experimental
data. These materials should be uploaded at submission time, as a single pdf or
a tarball, not via a URL. It will be made available to reviewers only after
they have submitted their first-draft reviews and hence need not be anonymized.
Reviewers are under no obligation to look at the supplementary material but may
refer to it if they have questions about the material in the body of the paper.
Simultaneous submission to other conferences with proceedings or submission of
material that has already been published elsewhere is not allowed.
The review process will include a feedback/rebuttal period where authors will
have the option to respond to reviewer comments. The PC chairs may solicit
further reviews after the rebuttal period.
Papers must be submitted in PDF format. Submission will be via the HotCRP
system. The submission URL will be available on the website of the conference
closer to the deadline.
Lightweight Double-Blind Reviewing Process
-------------------------------------------------------------
CAV 2016 will employ a lightweight double-blind reviewing process. This means
that committee members will not have access to authors' names or affiliations
as they review a paper; however, authors' names will be revealed once reviews
have been submitted and online discussion has begun.
To facilitate this, submitted papers must adhere to two rules:
(1) author names and institutions must be omitted, and
(2) references to authors' own related work should be in the third person
(e.g., not "We build on our previous work ..." but rather "We build on the work
of ...").
The purpose of this process is to help the PC and external reviewers come to an
initial judgement about the paper without bias, not to make it impossible for
them to discover the authors if they were to try. Nothing should be done in
the name of anonymity that weakens the submission or makes the job of reviewing
the paper more difficult (e.g., important background references should not be
omitted or anonymized). In addition, authors should feel free to disseminate
their ideas or draft versions of their paper as they normally would. For
instance, authors may post drafts of their papers on the web or give talks on
their research ideas. A document answering frequently asked questions about the
double-blind review process is available on the conference website.
Artifact Evaluation
------------------------
Authors of accepted papers will be invited to submit their artifacts for
evaluation by a special committee.
Organizers
---------------
Chairs
---------
Swarat Chaudhuri, Rice University, USA
Azadeh Farzan, University of Toronto, Canada
CAV Award Committee
-------------------------------
Ahmed Bouajjani (Chair), Univ. Paris Diderot (Paris 7)
Tom Ball, Microsoft Research
Kim G. Larsen, Aalborg University
Natarajan Shankar, SRI International
Program Committee
---------------------------
Rajeev Alur, University of Pennsylvania
Christel Baier, Technische Universität Dresden
Clark Barrett, New York University
Roderick Bloem, Graz University of Technology
Pavol Cerny, University of Colorado, Boulder
Adam Chlipala, MIT
Alessandro Cimatti, Fondazione Bruno Kessler
Loris D'Antoni, University of Wisconsin, Madison
Constantin Enea, Univ. Paris Diderot (Paris 7)
Javier Esparza, Technische Universität München
Kousha Etessami, University of Edinburgh
Susanne Graf, VERIMAG
Orna Grumberg, Technion
Franjo Ivancic, Google
Somesh Jha, University of Wisconsin, Madison
Ranjit Jhala, University of California, San Diego
Joost-Pieter Katoen, RWTH Aachen University
Zachary Kincaid, University of Toronto
Laura Kovacs, Chalmers University of Technology
Viktor Kuncak, EPFL
Shuvendu Lahiri, Microsoft Research
Akash Lal, Microsoft Research
Pete Manolios, Northeastern University
Kenneth McMillan, Microsoft Research
David Monniaux, VERIMAG
Marta Kwaitkowska, Oxford Unive
Kedar Namjoshi, Bell Labs, Alcatel-Lucent
David Parker, University of Birmingham
Corina Pasareneau, Carnegie Mellon Silicon Valley/NASA Ames
Ruzica Piskac, Yale University
Andreas Podelski, University of Freiburg
Shaz Qadeer, Microsoft Research
Andrey Rybalchenko, Microsoft Research
Mooly Sagiv, Tel Aviv University
Sriram Sankaranarayanan, University of Colorado, Boulder
Sanjit Seshia, University of California, Berkeley
Natasha Sharygina, University of Lugano
Sharon Shoham, Academic College of Tel-Aviv Yaffo
Armando Solar-Lezama, MIT
Fabio Somenzi, University of Colorado, Boulder
Serdar Tesiran, Koç University
Mahesh Viswanathan, University of Illinois, Urbana-Champaign
Bow-Yaw Wang, Academia Sinica
Thomas Wies, New York University
Lenore Zuck, University of Illinois, Chicago
Workshop Chair
----------------------
Zachary Kincaid, University of Toronto, Canada
Artifact Evaluation Chair
--------------------------------
Aws Albarghouthi, University of Wisconsin, USA
Publicity Chair
-------------------
Roopsha Samanta, IST, Austria
Steering Committee
---------------------------
Michael Gordon, University of Cambridge, UK
Orna Grumberg, Technion, Israel
Aarti Gupta, Princeton University, USA
Kenneth McMillan, Microsoft Research, USA
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
Apologies for multiple copies of this CFP.
***************************************************************
* 28th International Conference
* on
* Computer Aided Verification (CAV 2016)
*
* July 17-23, 2016
* Toronto, Ontario, Canada
*
* Call for Papers
*
* http://i-cav.org/2016/
****************************************************************
Important Dates
----------------------
All deadlines are 4pm EST.
Abstract submission: January 17, 2016 (Sunday)
Paper submission: January 29, 2016 (Friday)
Author response period: March 23-25, 2016 (Wednesday-Friday)
Author Notification: April 15, 2016 (Friday)
Conference: July 17-23, 2016
Scope
--------
CAV 2016 is the 28th in a series dedicated to the advancement of the theory and
practice of computer-aided formal analysis methods for hardware and software
systems. CAV considers it vital to continue spurring advances in hardware and
software verification while expanding to new domains such as biological systems
and computer security. The conference covers the spectrum from theoretical
results to concrete applications, with an emphasis on practical verification
tools and the algorithms and techniques that are needed for their
implementation. The proceedings of the conference will be published in the
Springer LNCS series. A selection of papers will be invited to a special issue
of Formal Methods in System Design and the Journal of the ACM.
Topics of interest include but are not limited to:
* Algorithms and tools for verifying models and implementations
* Algorithms and tools for system synthesis
* Mathematical and logical foundations of verification and synthesis
* Specifications and correctness criteria for programs and systems
* Deductive verification using proof assistants
* Hardware verification techniques
* Program analysis and software verification
* Software synthesis
* Hybrid systems and embedded systems verification
* Compositional and abstraction-based techniques for verification
* Probabilistic and statistical approaches to verification
* Verification methods for parallel and concurrent systems
* Testing and run-time analysis based on verification technology
* Decision procedures and solvers for verification and synthesis
* Applications and case studies in verification and synthesis
* Verification in industrial practice
* New application areas for algorithmic verification and synthesis
* Formal models and methods for security
* Formal models and methods for biological systems
Paper Submission
------------------------
*** NEW this year: Double-blind submissions ***
Submissions on a wide range of topics are sought, particularly ones that
identify new research directions. CAV 2016 is not limited to topics discussed
in previous instances of the conference. Authors concerned about the
appropriateness of a topic may communicate by electronic mail with the
conference chairs prior to submission.
As explained below, CAV 2016 will follow a lightweight double-blind review
process. Submissions that are not "blinded" will be rejected without review.
Submissions will be in two categories: Regular Papers and Tool Papers.
* Regular Papers should not exceed 15 pages in LNCS format, not counting
references. These papers should contain original research and sufficient detail
to assess the merits and relevance of the contribution. Papers will be
evaluated on basis of a combination of correctness, technical depth,
significance, novelty, clarity, and elegance. We welcome papers on theory, case
studies and comparisons with existing experimental research, as well as
combinations of new theory with experimental evaluation. A strong theoretical
paper is not required to have an experimental component. On the other hand,
strong papers reproducing and comparing existing results experimentally do not
require new theoretical insights.
* Tool Papers should not exceed 6 pages, not counting references. These papers
should describe system and implementation aspects of a tool with a large
(potential) user base (experiments not required, rehash of theory strongly
discouraged). Papers describing tools that have already been presented (in any
conference) will be accepted only if significant and clear enhancements to the
tool are reported and implemented.
Unlike last year, there is no separate Short Paper category.
Prior to the registration deadline, the authors will register their paper by
uploading information on the submission title, abstract (of at most 300 words),
authors, topics, and conflicts to the conference web site. Papers that are not
registered on time will be rejected.
We encourage authors to provide any supplementary material that is required to
support the claims made in the paper, such as detailed proofs or experimental
data. These materials should be uploaded at submission time, as a single pdf or
a tarball, not via a URL. It will be made available to reviewers only after
they have submitted their first-draft reviews and hence need not be anonymized.
Reviewers are under no obligation to look at the supplementary material but may
refer to it if they have questions about the material in the body of the paper.
Simultaneous submission to other conferences with proceedings or submission of
material that has already been published elsewhere is not allowed.
The review process will include a feedback/rebuttal period where authors will
have the option to respond to reviewer comments. The PC chairs may solicit
further reviews after the rebuttal period.
Papers must be submitted in PDF format. Submission will be via the HotCRP
system. The submission URL will be available on the website of the conference
closer to the deadline.
Lightweight Double-Blind Reviewing Process
-------------------------------------------------------------
CAV 2016 will employ a lightweight double-blind reviewing process. This means
that committee members will not have access to authors' names or affiliations
as they review a paper; however, authors' names will be revealed once reviews
have been submitted and online discussion has begun.
To facilitate this, submitted papers must adhere to two rules:
(1) author names and institutions must be omitted, and
(2) references to authors' own related work should be in the third person
(e.g., not "We build on our previous work ..." but rather "We build on the work
of ...").
The purpose of this process is to help the PC and external reviewers come to an
initial judgement about the paper without bias, not to make it impossible for
them to discover the authors if they were to try. Nothing should be done in
the name of anonymity that weakens the submission or makes the job of reviewing
the paper more difficult (e.g., important background references should not be
omitted or anonymized). In addition, authors should feel free to disseminate
their ideas or draft versions of their paper as they normally would. For
instance, authors may post drafts of their papers on the web or give talks on
their research ideas. A document answering frequently asked questions about the
double-blind review process is available on the conference website.
Artifact Evaluation
------------------------
Authors of accepted papers will be invited to submit their artifacts for
evaluation by a special committee.
Organizers
---------------
Chairs
---------
Swarat Chaudhuri, Rice University, USA
Azadeh Farzan, University of Toronto, Canada
CAV Award Committee
-------------------------------
Ahmed Bouajjani (Chair), Univ. Paris Diderot (Paris 7)
Tom Ball, Microsoft Research
Kim G. Larsen, Aalborg University
Natarajan Shankar, SRI International
Program Committee
---------------------------
Rajeev Alur, University of Pennsylvania
Christel Baier, Technische Universität Dresden
Clark Barrett, New York University
Roderick Bloem, Graz University of Technology
Pavol Cerny, University of Colorado, Boulder
Adam Chlipala, MIT
Alessandro Cimatti, Fondazione Bruno Kessler
Loris D'Antoni, University of Wisconsin, Madison
Constantin Enea, Univ. Paris Diderot (Paris 7)
Javier Esparza, Technische Universität München
Kousha Etessami, University of Edinburgh
Susanne Graf, VERIMAG
Orna Grumberg, Technion
Franjo Ivancic, Google
Somesh Jha, University of Wisconsin, Madison
Ranjit Jhala, University of California, San Diego
Joost-Pieter Katoen, RWTH Aachen University
Zachary Kincaid, University of Toronto
Laura Kovacs, Chalmers University of Technology
Viktor Kuncak, EPFL
Shuvendu Lahiri, Microsoft Research
Akash Lal, Microsoft Research
Pete Manolios, Northeastern University
Kenneth McMillan, Microsoft Research
David Monniaux, VERIMAG
Marta Kwaitkowska, Oxford Unive
Kedar Namjoshi, Bell Labs, Alcatel-Lucent
David Parker, University of Birmingham
Corina Pasareneau, Carnegie Mellon Silicon Valley/NASA Ames
Ruzica Piskac, Yale University
Andreas Podelski, University of Freiburg
Shaz Qadeer, Microsoft Research
Andrey Rybalchenko, Microsoft Research
Mooly Sagiv, Tel Aviv University
Sriram Sankaranarayanan, University of Colorado, Boulder
Sanjit Seshia, University of California, Berkeley
Natasha Sharygina, University of Lugano
Sharon Shoham, Academic College of Tel-Aviv Yaffo
Armando Solar-Lezama, MIT
Fabio Somenzi, University of Colorado, Boulder
Serdar Tesiran, Koç University
Mahesh Viswanathan, University of Illinois, Urbana-Champaign
Bow-Yaw Wang, Academia Sinica
Thomas Wies, New York University
Lenore Zuck, University of Illinois, Chicago
Workshop Chair
----------------------
Zachary Kincaid, University of Toronto, Canada
Artifact Evaluation Chair
--------------------------------
Aws Albarghouthi, University of Wisconsin, USA
Publicity Chair
-------------------
Roopsha Samanta, IST, Austria
Steering Committee
---------------------------
Michael Gordon, University of Cambridge, UK
Orna Grumberg, Technion, Israel
Aarti Gupta, Princeton University, USA
Kenneth McMillan, Microsoft Research, USA
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
2015-10-02
[Caml-list] CPS-Week 2016: Call for Papers
|
Subscribe to:
Posts (Atom)