FMCAD 2017: CALL FOR PARTICIPATION
International Conference on
Formal Methods in Computer-Aided Design (FMCAD)
TU Wien, Vienna, Austria, October 2-6, 2017
http://www.fmcad.org/FMCAD17
FMCAD Tutorial Day: October 2, 2017
FMCAD Regular Program: October 3-6, 2017
Part of the FMCAD 2017 program:
- FMCAD Student Forum
- Hardware Model Checking Competition 2017
- Symposium in memoriam of Helmut Veith
Co-located event: MEMOCODE 2017 (http://memocode.irisa.fr/2017/)
CONFERENCE SCOPE
FMCAD 2017 is the seventeenth in a series of conferences on the theory and
applications of formal methods in hardware and system verification. FMCAD
provides a leading forum to researchers in academia and industry for
presenting and discussing ground-breaking methods, technologies, theoretical
results, and tools for reasoning formally about computing systems. FMCAD
covers formal aspects of computer-aided system design including
verification,
specification, synthesis, and testing.
REGISTRATION
Early Registration Deadline: September 02, 2017
Registration Deadline: September 29, 2017
Registration details are available on
http://fmcad.org/FMCAD17/registration
TECHNICAL PROGRAM
The program comprises presentations of 25 regular papers and 4 tool
papers, 3 tutorials and 2 keynotes, a student forum, the Hardware
Model Checking Competition, and a symposium in memoriam Helmut Veith.
Details are available on the web-site: http://fmcad.org/FMCAD17
KEYNOTES
- Byron Cook (Amazon, University College London)
"Formal Verification, Model Checking, and Constraints
for Security of the Cloud"
- Wilfried Steiner (TTTech)
"Formal Methods in Industrial Dependable Systems Design"
TUTORIALS
- Shin'ichiro Matsuo (MIT Media Lab/CELLOS Consortium/BSafe.network)
"How Formal Methods and Analysis Helps Security of Entire
Blockchain-based Systems"
- Cas Cremers (Oxford University)
"Symbolic Security Analysis using the Tamarin Prover"
- Jade Alglave (Microsoft Research, University College London)
"Consistency Properties of Parallel/Distributed Programs in cat"
STUDENT FORUM AND HELMUT VEITH SYMPOSIUM
The FMCAD student forum consists of short presentations and posters
of doctoral students presenting their work-in-progress.
The Symposium in memoriam Helmut Veith features talks on
model checking, synthesis, distributed algorithms, and security,
as well as a LogicLounge on Teaching Logic in Computer Science.
SPONSORS
- Sponsored by FMCAD, Inc.
- Technical Co-sponsor: IEEE
- In-cooperation with: ACM SIGPLAN/SIGSOFT
- Financial support: Amazon, ARM, BMVIT, Centaur Technology, DiffBlue,
Galois, Microsoft, NSF, Oski Technology, Real Intent, Synopsys,
TTTech, WWTF
--
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
2017-08-23
[Caml-list] ETAPS 2018 joint call for papers
NEW! The proceedings of ETAPS 2018 will appear in *gold open access*.
As an exception for this year only, the important dates of POST differ
from the other member conferences!
******************************************************************
JOINT CALL FOR PAPERS
21st European Joint Conferences on Theory And Practice of Software
ETAPS 2018
Thessaloniki, Greece, 14-21 April 2018
http://www.etaps.org/2018
******************************************************************
-- ABOUT ETAPS --
ETAPS is the primary European forum for academic and industrial
researchers working on topics relating to software science. ETAPS,
established in 1998, is a confederation of five main annual
conferences, accompanied by satellite workshops. ETAPS 2018 is the
twenty-first event in the series.
-- MAIN CONFERENCES (16-20 April) --
* ESOP: European Symposium on Programming
(PC chair Amal Ahmed, Northeastern University, USA)
* FASE: Fundamental Approaches to Software Engineering
(PC chairs Alessandra Russo, Imperial College London, UK,
and Andy Schürr, Technische Universität Darmstadt, Germany)
* FoSSaCS: Foundations of Software Science
and Computation Structures
(PC chairs Christel Baier, Technische Univ. Dresden, Germany,
and Ugo Dal Lago, Università di Bologna, Italy)
* POST: Principles of Security and Trust
(PC chairs Lujo Bauer, Carnegie Mellon University, USA,
Ralf Küsters, University of Stuttgart, Germany)
* TACAS: Tools and Algorithms for
the Construction and Analysis of Systems
(PC chairs Dirk Beyer, Ludwig-Maximilian-Univ. München, Germany,
and Marieke Huisman, Universiteit Twente, The Netherlands)
TACAS '18 hosts the 7th Competition on Software Verification
(SV-COMP).
-- INVITED SPEAKERS --
* Unifying speaker:
Martin Abadi (Google Research &
University of California at Santa Cruz, USA)
* FASE invited speaker:
Pamela Zave (AT&T Labs, USA)
* ESOP invited speaker:
Derek Dreyer (MPI-SWS, Germany)
* POST invited speaker:
Benjamin C. Pierce (University of Pennsylvania, USA)
-- IMPORTANT DATES (all member conferences except POST)
* Abstracts due: 13 October 2017
* Papers due: 20 October 2017
* Rebuttal (ESOP, FoSSaCS only): 6-8 December 2017
* Notification: 22 December 2017
* Camera-ready versions due: 23 February 2018
IMPORTANT DATES for POST
* Abstracts due: 22 November 2017
* Papers due: 24 November 2017
* Rebuttal: 12-16 January 2018
* Notification: 25 January 2018
* Camera-ready versions due: 23 February 2018
-- SUBMISSION INSTRUCTIONS --
ETAPS conferences accept two types of contributions: research papers
and tool demonstration papers. Both types will appear in the
proceedings and have presentations during the conference.
ESOP and FoSSaCS accept only research papers.
A condition of submission is that, if the submission is accepted, one
of the authors attends the conference to give the presentation.
Submitted papers must be in English presenting original research. They
must be unpublished and not submitted for publication elsewhere (this
does not apply to abstracts). In particular, simultaneous submission
of the same contribution to multiple ETAPS conferences is
forbidden.
Submissions must follow the formatting guidelines of Springer's
Lecture Notes in Computer Science and be submitted electronically in
pdf through the EasyChair author interface of the respective
conference.
Submissions not adhering to the specified format and length may be
rejected immediately.
FASE and POST will use a double-blind review process.
The proceedings of ETAPS 2018 will be published in *gold open
access*. The copyright of the papers will remain with the authors. It
is most likely that the proceedings will be published in the Advanced
Research in Computing and Software Science (ARCoSS) subline of
Springer's Lecture Notes in Computer Science series.
- Research papers
FASE, FoSSaCS and TACAS have a page limit of 15 pp (excluding
bibliography of max 2 pp) for research papers, whereas POST allows at
most 20 pp (excluding bibliography of max 2 pp) and ESOP 25 pp
(excluding bibliography of max 2 pp).
Additional material intended for the referees but not for publication
in the final version - for example, details of proofs - may be placed
in a clearly marked appendix that is not included in the page
limit. ETAPS referees are at liberty to ignore appendices and papers
must be understandable without them.
In addition to regular research papers, TACAS solicits also *case study
papers* (at most 15 pp, excluding bibliography of max 2 pp).
Both TACAS and FASE solicit also *regular tool papers* (at most 15 pp,
excluding bibliography of max 2 pp).
- Tool demonstration papers
Submissions should consist of two parts:
* The first part, at most 6 pages, should describe the tool
presented. Please include the URL of the tool (if available) and
provide information that illustrates the maturity and robustness of
the tool. (This part will be included in the proceedings.)
* The second part, at most 6 pages, should explain how the
demonstration will be carried out and what it will show, including
screen dumps and examples. (This part will be not be included in the
proceedings, but will be evaluated.
ESOP and FoSSaCS do not accept tool demonstration papers.
-- SATELLITE EVENTS (14-15 April, 21 April) --
A number of satellite workshops will take place before and after the
main conferences: CMCS, CREST, DICE, FAEPAS, GALOP, HotSpot,
LiVe, MARS, MeTRiD, SNR, SynCoP, VerifyThis, VPT, VSSE, WRLA.
-- HOST INSTITUTION --
ETAPS 2018 is hosted by the School of Informatics of the Aristotle
University of Thessaloniki, the largest university in Greece.
-- ORGANIZERS
Panagiotis Katsaros (general chair), Ioannis Stamelos, Lefteris
Angelis, Nick Bassiliades, Alexander Chatzigeorgiou, George Rahonis,
Ezio Bartocci, Simon Bliudze, Petros Stratis, Emmanouela Stachtiari,
Kyriakos Georgiadis
-- FURTHER INFORMATION --
Please do not hesitate to contact the organizers at
katsaros@csd.auth.gr.
--
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
As an exception for this year only, the important dates of POST differ
from the other member conferences!
******************************************************************
JOINT CALL FOR PAPERS
21st European Joint Conferences on Theory And Practice of Software
ETAPS 2018
Thessaloniki, Greece, 14-21 April 2018
http://www.etaps.org/2018
******************************************************************
-- ABOUT ETAPS --
ETAPS is the primary European forum for academic and industrial
researchers working on topics relating to software science. ETAPS,
established in 1998, is a confederation of five main annual
conferences, accompanied by satellite workshops. ETAPS 2018 is the
twenty-first event in the series.
-- MAIN CONFERENCES (16-20 April) --
* ESOP: European Symposium on Programming
(PC chair Amal Ahmed, Northeastern University, USA)
* FASE: Fundamental Approaches to Software Engineering
(PC chairs Alessandra Russo, Imperial College London, UK,
and Andy Schürr, Technische Universität Darmstadt, Germany)
* FoSSaCS: Foundations of Software Science
and Computation Structures
(PC chairs Christel Baier, Technische Univ. Dresden, Germany,
and Ugo Dal Lago, Università di Bologna, Italy)
* POST: Principles of Security and Trust
(PC chairs Lujo Bauer, Carnegie Mellon University, USA,
Ralf Küsters, University of Stuttgart, Germany)
* TACAS: Tools and Algorithms for
the Construction and Analysis of Systems
(PC chairs Dirk Beyer, Ludwig-Maximilian-Univ. München, Germany,
and Marieke Huisman, Universiteit Twente, The Netherlands)
TACAS '18 hosts the 7th Competition on Software Verification
(SV-COMP).
-- INVITED SPEAKERS --
* Unifying speaker:
Martin Abadi (Google Research &
University of California at Santa Cruz, USA)
* FASE invited speaker:
Pamela Zave (AT&T Labs, USA)
* ESOP invited speaker:
Derek Dreyer (MPI-SWS, Germany)
* POST invited speaker:
Benjamin C. Pierce (University of Pennsylvania, USA)
-- IMPORTANT DATES (all member conferences except POST)
* Abstracts due: 13 October 2017
* Papers due: 20 October 2017
* Rebuttal (ESOP, FoSSaCS only): 6-8 December 2017
* Notification: 22 December 2017
* Camera-ready versions due: 23 February 2018
IMPORTANT DATES for POST
* Abstracts due: 22 November 2017
* Papers due: 24 November 2017
* Rebuttal: 12-16 January 2018
* Notification: 25 January 2018
* Camera-ready versions due: 23 February 2018
-- SUBMISSION INSTRUCTIONS --
ETAPS conferences accept two types of contributions: research papers
and tool demonstration papers. Both types will appear in the
proceedings and have presentations during the conference.
ESOP and FoSSaCS accept only research papers.
A condition of submission is that, if the submission is accepted, one
of the authors attends the conference to give the presentation.
Submitted papers must be in English presenting original research. They
must be unpublished and not submitted for publication elsewhere (this
does not apply to abstracts). In particular, simultaneous submission
of the same contribution to multiple ETAPS conferences is
forbidden.
Submissions must follow the formatting guidelines of Springer's
Lecture Notes in Computer Science and be submitted electronically in
pdf through the EasyChair author interface of the respective
conference.
Submissions not adhering to the specified format and length may be
rejected immediately.
FASE and POST will use a double-blind review process.
The proceedings of ETAPS 2018 will be published in *gold open
access*. The copyright of the papers will remain with the authors. It
is most likely that the proceedings will be published in the Advanced
Research in Computing and Software Science (ARCoSS) subline of
Springer's Lecture Notes in Computer Science series.
- Research papers
FASE, FoSSaCS and TACAS have a page limit of 15 pp (excluding
bibliography of max 2 pp) for research papers, whereas POST allows at
most 20 pp (excluding bibliography of max 2 pp) and ESOP 25 pp
(excluding bibliography of max 2 pp).
Additional material intended for the referees but not for publication
in the final version - for example, details of proofs - may be placed
in a clearly marked appendix that is not included in the page
limit. ETAPS referees are at liberty to ignore appendices and papers
must be understandable without them.
In addition to regular research papers, TACAS solicits also *case study
papers* (at most 15 pp, excluding bibliography of max 2 pp).
Both TACAS and FASE solicit also *regular tool papers* (at most 15 pp,
excluding bibliography of max 2 pp).
- Tool demonstration papers
Submissions should consist of two parts:
* The first part, at most 6 pages, should describe the tool
presented. Please include the URL of the tool (if available) and
provide information that illustrates the maturity and robustness of
the tool. (This part will be included in the proceedings.)
* The second part, at most 6 pages, should explain how the
demonstration will be carried out and what it will show, including
screen dumps and examples. (This part will be not be included in the
proceedings, but will be evaluated.
ESOP and FoSSaCS do not accept tool demonstration papers.
-- SATELLITE EVENTS (14-15 April, 21 April) --
A number of satellite workshops will take place before and after the
main conferences: CMCS, CREST, DICE, FAEPAS, GALOP, HotSpot,
LiVe, MARS, MeTRiD, SNR, SynCoP, VerifyThis, VPT, VSSE, WRLA.
-- HOST INSTITUTION --
ETAPS 2018 is hosted by the School of Informatics of the Aristotle
University of Thessaloniki, the largest university in Greece.
-- ORGANIZERS
Panagiotis Katsaros (general chair), Ioannis Stamelos, Lefteris
Angelis, Nick Bassiliades, Alexander Chatzigeorgiou, George Rahonis,
Ezio Bartocci, Simon Bliudze, Petros Stratis, Emmanouela Stachtiari,
Kyriakos Georgiadis
-- FURTHER INFORMATION --
Please do not hesitate to contact the organizers at
katsaros@csd.auth.gr.
--
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
[Caml-list] MEMOCODE-2017 (Call for Participation)
-- CALL FOR PARTICIPATION --
15th ACM/IEEE
International Conference
on
Formal Methods and Models for System Design
(MEMOCODE)
September 29 - October 2, 2017, Vienna, Austria
http://memocode.irisa.fr/2017
co-located with
International Conference
on
Formal Methods in Computer-Aided Design
(FMCAD)
http://www.fmcad.org/FMCAD17
REGISTRATION:
http://memocode.irisa.fr/2017/registration.html
KEYNOTES
* Alessandro Abate, University of Oxford:
Formal Verification and Control Synthesys of Complex Dynamic Systems: Model-Based and Data-Driven Methods
* Franz-Josef Grosch, Robert Bosch GmbH:
Elevate embedded real-time programming with a synchronous language.
* Thomas Henzinger, IST Austria:
The Quest for Average Response Time
TUTORIALS (shared with FMCAD)
* Jade Alglave, University College London / Microsoft Research:
Consistency properties of parallel/distributed programs in cat
* Cas Cremers, Oxford University:
Symbolic Security Analysis using the Tamarin Prover
* Shin'ichiro Matsuo (MIT Media Lab/CELLOS Consortium/BSafe.network):
How Formal Methods and Analysis Helps Security of Entire Blockchain-based Systems
ACCEPTED PAPERS
* Antti Jääskeläinen, Hannu-Matti Järvinen and Mikko Tiusanen.
Concurrent Execution System for Action Languages
* Kenneth Roe and Scott Smith.
Using the Coq theorem prover to verify complex data structure invariants
* Assaf Marron.
A Reactive Specification Formalism for Enhancing System Development,
Analysis and Adaptivity
* Guillaume Plassan, Katell Morin-Allory and Dominique Borrione.
Extraction of Missing Formal Assumptions in Under-Constrained Designs
* Jiwei Li, Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli, Yugeng Xi and
Dewei Li.
Stochastic Contracts for Cyber-Physical System Design Under Probabilistic
Requirements
* Thomas Reynolds, Adam Procter, William Harrison and Gerard Allwein.
A Core Calculus for Secure Hardware: Its Formal Semantics and Proof System
* Hammond Pearce, Matthew Kuo, Nathan Allen, Partha Roop and Avinash Malik.
Simulation of Cyber-physical systems using IEC61499
* Stephen A. Edwards, Richard Townsend and Martha A. Kim.
Compositional Dataflow Circuits
* Arun Chandrasekharan, Daniel Grosse and Rolf Drechsler.
Yise - A novel Framework for Boolean Networks using Y-Inverter Graphs
* Ezio Bartocci, Luca Bortolussi, Michele Loreti and Laura Nenzi.
Monitoring Mobile and Spatially Distributed Cyber-Physical Systems
* Haven Skinner, Rafael Possignolo and Jose Renau. Liam:
An Elastic Programming Model
* Sudipta Chattopadhyay, Moritz Beck, Ahmed Rezine and Andreas Zeller.
Quantifying the Information Leak in Cache Attacks via Symbolic Execution
* Hsin-Hung Lin and Bow-Yaw Wang.
Releasing VDM Proof Obligations with SMT Solvers
* Jakob Mund, Maximilian Junker, Safa Bougouffa, Suhyun Cha
and Birgit Vogel-Heuser.
Model-Based Availability Analysis for Automated Production Systems:
A Case Study
* Jean-Paul Bodeveix, Mamoun Filali-Amine and Kan Shuanglong.
A Refinement-based compiler development for synchronous languages
* Andreas Fellner, Willibald Krenn, Thorsten Tarrach, Georg Weissenbacher and
Rupert Schlick.
Model-based, mutation-driven test case generation via heuristic-guided
branching search
* Stefan Resmerita, Andreas Naderlinger and Stefan Lukesch.
Efficient Realization of Logical Execution Times in Legacy Embedded Software
* Max Scheerer, Axel Busch and Anne Koziolek.
Automatic Evaluation of Complex Design Decisions in Component-based Software
Architectures
* Elizabeth Leonard, Myla Archer and Constance Heitmeyer.
Property Templates for Checking Source Code Security
* Nils Przigoda, Philipp Niemann, Judith Peters, Frank Hilken, Robert Wille
and Rolf Drechsler.
More than true or false: Native Support of Irregular Values in the Automatic
Validation & Verification of UML/OCL Models
* Tim Gonschorek, Frank Ortmeier, Ben Lukas Rabeler and Dirk Schomburg.
On Improving Rare Event Simulation for Probabilistic Safety Analysis
* Luan Nguyen, James Kapinski, Xiaoqing Jin, Jyotirmoy Deshmukh
and Taylor T Johnson.
Hyperproperties of Real-Valued Signals
--
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
2017-08-08
[Caml-list] PAPP@SAC 2018 Call for Papers - April 9-13, Pau, France
====================== Call for Papers ======================
SAC'18 - ACM 2018 Symposium on Applied Computing
Technical Track
PAPP - Practical Aspects of High-Level Parallel Programming
Pau, France
April 9-13, 2018
http://frederic.loulergue.eu/PAPP2018
=============================================================
AIMS & SCOPE
Nowadays parallel architectures are everywhere. However parallel
programming is still reserved to experienced programmers. The trend is
towards the increase of cores in processors and the number of
processors in multiprocessor machines: The need for scalable computing
is everywhere. But parallel and distributed programming is still
dominated by low-level techniques such as send/receive message passing
and POSIX threads. Thus high-level approaches should play a key role
in the shift to scalable computing in every computer.
Algorithmic skeletons (Google's MapReduce being the most well-known
skeletal parallelism approach), parallel extensions of functional
languages such as Haskell and ML, parallel logic and constraint
programming, parallel execution of declarative programs such as SQL
queries, genericity and meta-programming in object-oriented languages,
etc. have produced methods and tools that improve the
price/performance ratio of parallel software, and broaden the range of
target applications. Also, high level languages offer a high degree of
abstraction which ease the development of complex systems. Moreover,
being based on formal semantics, it is possible to certify the
correctness of critical parts of the applications. The aim of all
these languages and tools is to improve and ease the development of
applications (safety, expressivity, efficiency, etc.).
The PAPP track is aimed both at researchers involved in the
development of high level approaches for parallel computing and
engineers and researchers who are potential users of these languages
and tools.
PAPP is no longer a workshop but is a track of ACM Symposium on
Applied Computing, the flagship conference of ACM Special Interest
Group on Applied Computing (SIGAPP). ACM SAC is ranked A1 in the
Qualis ranking. The acceptance rate of recent SAC is around 25%.
TOPICS
We welcome submission of original, unpublished papers in English on
topics including:
- design, implementation and optimisation of high-level programming
languages,
- algorithms and high-level models (CGM, BSP, LogP, MapReduce,...),
- artificial intelligence, software engineering and formal methods
applied to high-level parallel programming,
- middleware and tools: performance predictors, visualisations of
abstract behaviour, automatic hot-spot detectors, high-level
resource managers, compilers, automatic generators, etc.,
- applications of high-level approaches, benchmarks and experiments.
The PAPP track focuses on practical aspects of high-level parallel
programming but it welcomes topics of mostly theoretical nature,
provided there is clear practical potential in applying the results of
such work.
PAPER SUBMISSION AND PUBLICATION
Paper submissions must be original, unpublished work. Submissions
should be in electronic format, via the link provided at SAC web page
(http://www.acm.org/conferences/sac/sac2017).
Author(s) name(s) and address(es) must not appear in the body of the
paper, and self-reference should be avoided and made in the third
person. Submitted papers will undergo a blind review process.
Paper registration is required, allowing the inclusion of the
paper/poster in the conference proceedings. An author or a proxy
attending SAC MUST present the paper: This is a requirement for the
paper/poster to be included in the ACM/IEEE digital library. No-show
of scheduled papers and posters will result in excluding them from the
ACM/IEEE digital library.
SAC 2018 will also hold a Student Research Competition (SRC). To enter
this in the area of PAPP, please submit via the link at SAC web page.
IMPORTANT DATES
Paper Submission: Sep 15, 2017
SRC Abstract Submission: Sep 15, 2017
Paper/SRC Notifications: Nov 10, 2017
Camera-Ready Copies: Nov 25, 2017
TRACK PROGRAMME COMMITTEE
Marco Aldinucci (University of Torino, Italy)
Mohamad Al Hajj Hassan (Huawei, Germany)
Mathias Bourgoin (LIFO, Université d'Orléans, France)
Inês de Castro Dutra (Universidade do Porto, Portugal)
Kento Emoto (Kyushu Institute of Technology, Japan)
Alexandros Gerbessiotis (NJIT, USA)
Khaled Hamidouche (AMD Research, USA)
Geoff Hamilton (Dublin City University, Ireland)
Hideya Iwasaki (The University of Electro-Communications, Japan)
Herbert Kuchen (Westfälische Wilhems-Universität Münster, Germany)
Arnaud Lallouet (Huawei Technologies France)
Frédéric Loulergue, Track Chair (Northern Arizona University, USA)
Virginia Niculescu (Babes Bolya University, Romania)
Susanna Pelagatti (University of Pisa, Italy)
Md. Wasi-ur Rahman (Intel, USA)
Jean Charles Régin (Université de Nice Sophia Antipolis, France)
Christian Schute (KTH Royal Institute of Technology, Sweden)
Julien Tesson (Université Paris-Est Créteil, France)
--
Dr. Frederic Loulergue
Professor
School of Informatics, Computing, and Cyber Systems
Northern Arizona University
Home: http://nau.edu/SICCS/Faculty/Frederic-Loulergue
Phone: +1 928-523-5044
--
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
SAC'18 - ACM 2018 Symposium on Applied Computing
Technical Track
PAPP - Practical Aspects of High-Level Parallel Programming
Pau, France
April 9-13, 2018
http://frederic.loulergue.eu/PAPP2018
=============================================================
AIMS & SCOPE
Nowadays parallel architectures are everywhere. However parallel
programming is still reserved to experienced programmers. The trend is
towards the increase of cores in processors and the number of
processors in multiprocessor machines: The need for scalable computing
is everywhere. But parallel and distributed programming is still
dominated by low-level techniques such as send/receive message passing
and POSIX threads. Thus high-level approaches should play a key role
in the shift to scalable computing in every computer.
Algorithmic skeletons (Google's MapReduce being the most well-known
skeletal parallelism approach), parallel extensions of functional
languages such as Haskell and ML, parallel logic and constraint
programming, parallel execution of declarative programs such as SQL
queries, genericity and meta-programming in object-oriented languages,
etc. have produced methods and tools that improve the
price/performance ratio of parallel software, and broaden the range of
target applications. Also, high level languages offer a high degree of
abstraction which ease the development of complex systems. Moreover,
being based on formal semantics, it is possible to certify the
correctness of critical parts of the applications. The aim of all
these languages and tools is to improve and ease the development of
applications (safety, expressivity, efficiency, etc.).
The PAPP track is aimed both at researchers involved in the
development of high level approaches for parallel computing and
engineers and researchers who are potential users of these languages
and tools.
PAPP is no longer a workshop but is a track of ACM Symposium on
Applied Computing, the flagship conference of ACM Special Interest
Group on Applied Computing (SIGAPP). ACM SAC is ranked A1 in the
Qualis ranking. The acceptance rate of recent SAC is around 25%.
TOPICS
We welcome submission of original, unpublished papers in English on
topics including:
- design, implementation and optimisation of high-level programming
languages,
- algorithms and high-level models (CGM, BSP, LogP, MapReduce,...),
- artificial intelligence, software engineering and formal methods
applied to high-level parallel programming,
- middleware and tools: performance predictors, visualisations of
abstract behaviour, automatic hot-spot detectors, high-level
resource managers, compilers, automatic generators, etc.,
- applications of high-level approaches, benchmarks and experiments.
The PAPP track focuses on practical aspects of high-level parallel
programming but it welcomes topics of mostly theoretical nature,
provided there is clear practical potential in applying the results of
such work.
PAPER SUBMISSION AND PUBLICATION
Paper submissions must be original, unpublished work. Submissions
should be in electronic format, via the link provided at SAC web page
(http://www.acm.org/conferences/sac/sac2017).
Author(s) name(s) and address(es) must not appear in the body of the
paper, and self-reference should be avoided and made in the third
person. Submitted papers will undergo a blind review process.
Paper registration is required, allowing the inclusion of the
paper/poster in the conference proceedings. An author or a proxy
attending SAC MUST present the paper: This is a requirement for the
paper/poster to be included in the ACM/IEEE digital library. No-show
of scheduled papers and posters will result in excluding them from the
ACM/IEEE digital library.
SAC 2018 will also hold a Student Research Competition (SRC). To enter
this in the area of PAPP, please submit via the link at SAC web page.
IMPORTANT DATES
Paper Submission: Sep 15, 2017
SRC Abstract Submission: Sep 15, 2017
Paper/SRC Notifications: Nov 10, 2017
Camera-Ready Copies: Nov 25, 2017
TRACK PROGRAMME COMMITTEE
Marco Aldinucci (University of Torino, Italy)
Mohamad Al Hajj Hassan (Huawei, Germany)
Mathias Bourgoin (LIFO, Université d'Orléans, France)
Inês de Castro Dutra (Universidade do Porto, Portugal)
Kento Emoto (Kyushu Institute of Technology, Japan)
Alexandros Gerbessiotis (NJIT, USA)
Khaled Hamidouche (AMD Research, USA)
Geoff Hamilton (Dublin City University, Ireland)
Hideya Iwasaki (The University of Electro-Communications, Japan)
Herbert Kuchen (Westfälische Wilhems-Universität Münster, Germany)
Arnaud Lallouet (Huawei Technologies France)
Frédéric Loulergue, Track Chair (Northern Arizona University, USA)
Virginia Niculescu (Babes Bolya University, Romania)
Susanna Pelagatti (University of Pisa, Italy)
Md. Wasi-ur Rahman (Intel, USA)
Jean Charles Régin (Université de Nice Sophia Antipolis, France)
Christian Schute (KTH Royal Institute of Technology, Sweden)
Julien Tesson (Université Paris-Est Créteil, France)
--
Dr. Frederic Loulergue
Professor
School of Informatics, Computing, and Cyber Systems
Northern Arizona University
Home: http://nau.edu/SICCS/Faculty/Frederic-Loulergue
Phone: +1 928-523-5044
--
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
2017-08-02
[Caml-list] FSCD 2017 - Call for participation (early registration ends soon)
(Apologies for multiple copies of this announcement. Please circulate.)
==================================================================
CALL FOR PARTICIPATION
2nd International Conference on
Formal Structures for Computation and Deduction
FSCD 2017
3–9, September 2017 (colocated with ICFP)
Oxford, UK
FSCD is a conference covering all aspects of formal structures for
computation and deduction from theoretical foundations to applications.
Building on two communities, RTA (Rewriting Techniques and Applications)
and TLCA (Typed Lambda Calculi and Applications), FSCD embraces their core
topics and broadens their scope to closely related areas in logics, proof
theory and new emerging models of computation such as quantum computing
and homotopy type theory.
REGISTRATION
The registration page is already open and linked from:
The early registration deadline is *** 6 August ***
Students should apply for scholarships by *** 21 July ***
(for more details please visit the conference webpage).
INVITED SPEAKERS
* Marco Gaboardi (Univ. Buffalo, SUNY)
* Georg Moser (Univ. Innsbruck)
* Alexandra Silva (University College London)
* Christine Tasson (PPS and Univ. Paris Diderot)
SATELLITE EVENTS
- Trends in Linear Logic and Applications (September 3)
- 31st International Workshop on Unification (September 3)
- Trends in Mechanised Security Proofs, COST Action CA15123 EUTypes Workshop (September 3)
- *Third Workshop on Higher-Dimensional Rewriting and Applications (September 8-9)
- Third Workshop on Homotopy Type Theory and Univalent Foundations (September 8-9)
- *First Workshop on String Diagrams in Computation, Logic, and Physics (September 8-9)
- Fourth Meeting on Structures and Deduction (September 8 and 9)
- Sixth International Workshop on Confluence (September 8)
- International Workshop on Logical Frameworks and Meta-Languages - Theory and Practice (September 8)
- Fourth International Workshop on Rewriting Techniques for Program Transformation and Evaluation (September 8)
- IFIP Working Group 1.6: Rewriting (September 9)
* These workshops will be co-located.
PROGRAM CHAIR
Dale Miller (Inria Saclay)
PROGRAM COMMITTEE
Andreas Abel (Gothenburg Univ.)
Elvira Albert (Complutense Madrid)
María Alpuente (TU Valencia)
Takahito Aoto (Niigata Univ. )
Zena Ariola (Univ. Oregon)
Federico Aschieri (TU Wien)
Stefano Berardi (Univ. Turin)
Lars Birkedal (Aarhus Univ.)
Filippo Bonchi (CNRS & ENS Lyon)
Pierre Clairambault (CNRS & ENS Lyon)
Ugo Dal Lago (Univ. Bologna)
Herman Geuvers (Radboud Univ.)
Silvia Ghilezan (Univ. Novi Sad)
Jürgen Giesl (RWTH Aachen)
Hugo Herbelin (Inria Paris)
Jan Hoffmann (Carnegie Mellon)
Deepak Kapur (Univ. New Mexico)
Paul Blain Levy (Univ. Birmingham)
Paulo Oliva (QMUL, London)
Vincent van Oostrom (Univ. Innsbruck)
Daniela Petrisan (LIAFA, Paris)
Femke van Raamsdonk (VU Univ. Amsterdam)
Grigore Rosu (Univ. Illinois)
Albert Rubio (UPC-BarcelonaTech)
Paula Severi (Univ. Leicester)
Bas Spitters (Aarhus Univ. )
Aaron Stump (Univ. Iowa)
Kazushige Terui (Kyoto Univ.)
René Thiemann (Univ. Innsbruck)
Sophie Tison (Lille Univ. )
CONFERENCE CHAIR
Sam Staton (University of Oxford)
WORKSHOPS CHAIR
Jamie Vicary (University of Oxford)
Looking forward to seeing you in Oxford!
==================================================================
[Caml-list] PEPM 2018 Call for Papers
-- CALL FOR PAPERS --
ACM SIGPLAN Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM) 2018
===============================================================================
* Website : http://popl18.sigplan.org/track/PEPM-2018
* Time : 8th – 9th January 2018
* Place : Los Angeles, CA, US (co-located with POPL 2018)
The ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM),
which has a history going back to 1991 and has co-located with POPL every year
since 2006, originates in the discoveries of practically useful automated
techniques for evaluating programs with only partial input. Over the years,
the scope of PEPM has expanded to include a variety of research areas centred
around the theme of semantics-based program manipulation — the systematic
exploitation of treating programs not only as subject to black-box execution,
but also as data structures that can be generated, analysed, and transformed
while establishing or maintaining important semantic properties.
Scope
-----
In addition to the traditional PEPM topics (see below), PEPM 2018 welcomes
submissions in new domains, in particular:
* Semantics based and machine-learning based program synthesis and program
optimisation.
* Modelling, analysis, and transformation techniques for distributed and
concurrent protocols and programs, such as session types, linear types, and
contract specifications.
More generally, topics of interest for PEPM 2018 include, but are not limited
to:
* Program and model manipulation techniques such as: supercompilation,
partial evaluation, fusion, on-the-fly program adaptation, active
libraries, program inversion, slicing, symbolic execution, refactoring,
decompilation, and obfuscation.
* Techniques that treat programs/models as data objects including
metaprogramming, generative programming, embedded domain-specific
languages, program synthesis by sketching and inductive programming, staged
computation, and model-driven program generation and transformation.
* Program analysis techniques that are used to drive program/model
manipulation such as: abstract interpretation, termination checking,
binding-time analysis, constraint solving, type systems, automated testing
and test case generation.
* Application of the above techniques including case studies of program
manipulation in real-world (industrial, open-source) projects and software
development processes, descriptions of robust tools capable of effectively
handling realistic applications, benchmarking. Examples of application
domains include legacy program understanding and transformation, DSL
implementations, visual languages and end-user programming, scientific
computing, middleware frameworks and infrastructure needed for distributed
and web-based applications, embedded and resource-limited computation, and
security.
This list of categories is not exhaustive, and we encourage submissions
describing new theories and applications related to semantics-based program
manipulation in general. If you have a question as to whether a potential
submission is within the scope of the workshop, please contact the programme
co-chairs, Fritz Henglein (http://www.diku.dk/~henglein/) and Josh Ko
(https://josh-hs-ko.github.io).
Submission categories and guidelines
------------------------------------
Two kinds of submissions will be accepted: Regular Research Papers and Short
Papers.
* Regular Research Papers should describe new results, and will be judged on
originality, correctness, significance, and clarity. Regular research
papers must not exceed 12 pages (excluding bibliography).
* Short Papers may include tool demonstrations and presentations of exciting
if not fully polished research, and of interesting academic, industrial,
and open-source applications that are new or unfamiliar. Short papers must
not exceed 6 pages (excluding bibliography).
Both kinds of submissions should be typeset using the two-column 'sigplan'
sub-format of the new 'acmart' format available at:
http://sigplan.org/Resources/Author/
and submitted electronically via HotCRP:
https://pepm18.hotcrp.com/
PEPM 2018 will employ lightweight double-blind reviewing according to the rules
of POPL 2018. Quoting from POPL 2018's call for papers:
"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 judgment 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. In particular, 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."
See POPL 2018's Submission and Reviewing FAQ page for more information:
http://popl18.sigplan.org/track/POPL-2018-papers#Submission-and-Reviewing-FAQ
Submissions are welcome from PC members (except the two co-chairs) provided
that there are non-PC co-authors.
Accepted papers will appear in formal proceedings published by ACM, and be
included in the ACM Digital Library. Authors of short papers, however, can ask
for their papers to be left out of the formal proceedings.
At least one author of each accepted contribution must attend the workshop and
present the work. In the case of tool demonstration papers, a live
demonstration of the described tool is expected. Suggested topics, evaluation
criteria, and writing guidelines for both research tool demonstration papers
will be made available on the PEPM 2018 web site.
Student participants with accepted papers can apply for a SIGPLAN PAC grant to
help cover travel expenses and other support. PAC also offers other support,
such as for child-care expenses during the meeting or for travel costs for
companions of SIGPLAN members with physical disabilities, as well as for travel
from locations outside of North America and Europe. For details on the PAC
programme, see its web page.
Important dates
---------------
* Paper submission deadline : Friday 6th October 2017 (AoE) (firm)
* Author notification : Saturday 4th November 2017
* Workshop : Monday 8th – Tuesday 9th January 2018
The proceedings will be published 2 weeks pre-conference.
AUTHORS TAKE NOTE: The official publication date is the date the proceedings
are made available in the ACM Digital Library. This date may be up to two
weeks prior to the first day of your conference. The official publication date
affects the deadline for any patent filings related to published work. (For
those rare conferences whose proceedings are published in the ACM Digital
Library after the conference is over, the official publication date remains the
first day of the conference.)
Best paper award
----------------
PEPM 2018 continues the tradition of a Best Paper award. The winner will be
announced at the workshop.
Programme committee
-------------------
Nada Amin (EPFL)
Shigeru Chiba (University of Tokyo)
Ezgi Çiçek (Max Planck Institute for Software Systems)
Olivier Danvy (Yale-NUS College)
Ronald Garcia (University of British Columbia)
Simon Gay (University of Glasgow)
Andy Gill (X, the Moonshot Factory)
Fritz Henglein (co-chair) (University of Copenhagen)
Anastasia Izmaylova (IMC Financial Markets)
Johan Jeuring (Utrecht University)
Gabriele Keller (University of New South Wales)
Oleg Kiselyov (Tohoku University)
Hsiang-Shang Ko (co-chair) (National Institute of Informatics)
Ralf Lämmel (University of Koblenz-Landau)
Julia Lawall (Inria)
Simon Peyton Jones (Microsoft Research Cambridge)
Frank Pfenning (Carnegie Mellon University)
Sriram Rajamani (Microsoft Research India)
Norman Ramsey (Tufts University)
Thomas Reps (University of Wisconsin-Madison)
Sergei Romanenko (Keldysh Institute of Applied Mathematics)
Tiark Rompf (Purdue University)
Wolfram Schulte (Facebook)
Peter Sestoft (IT University of Copenhagen)
Harald Søndergaard (University of Melbourne)
Kohei Suenaga (Kyoto University)
Martin Vechev (ETH Zurich)
Marcos Viera (University of the Republic)
Nobuko Yoshida (Imperial College London)
--
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
ACM SIGPLAN Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM) 2018
===============================================================================
* Website : http://popl18.sigplan.org/track/PEPM-2018
* Time : 8th – 9th January 2018
* Place : Los Angeles, CA, US (co-located with POPL 2018)
The ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM),
which has a history going back to 1991 and has co-located with POPL every year
since 2006, originates in the discoveries of practically useful automated
techniques for evaluating programs with only partial input. Over the years,
the scope of PEPM has expanded to include a variety of research areas centred
around the theme of semantics-based program manipulation — the systematic
exploitation of treating programs not only as subject to black-box execution,
but also as data structures that can be generated, analysed, and transformed
while establishing or maintaining important semantic properties.
Scope
-----
In addition to the traditional PEPM topics (see below), PEPM 2018 welcomes
submissions in new domains, in particular:
* Semantics based and machine-learning based program synthesis and program
optimisation.
* Modelling, analysis, and transformation techniques for distributed and
concurrent protocols and programs, such as session types, linear types, and
contract specifications.
More generally, topics of interest for PEPM 2018 include, but are not limited
to:
* Program and model manipulation techniques such as: supercompilation,
partial evaluation, fusion, on-the-fly program adaptation, active
libraries, program inversion, slicing, symbolic execution, refactoring,
decompilation, and obfuscation.
* Techniques that treat programs/models as data objects including
metaprogramming, generative programming, embedded domain-specific
languages, program synthesis by sketching and inductive programming, staged
computation, and model-driven program generation and transformation.
* Program analysis techniques that are used to drive program/model
manipulation such as: abstract interpretation, termination checking,
binding-time analysis, constraint solving, type systems, automated testing
and test case generation.
* Application of the above techniques including case studies of program
manipulation in real-world (industrial, open-source) projects and software
development processes, descriptions of robust tools capable of effectively
handling realistic applications, benchmarking. Examples of application
domains include legacy program understanding and transformation, DSL
implementations, visual languages and end-user programming, scientific
computing, middleware frameworks and infrastructure needed for distributed
and web-based applications, embedded and resource-limited computation, and
security.
This list of categories is not exhaustive, and we encourage submissions
describing new theories and applications related to semantics-based program
manipulation in general. If you have a question as to whether a potential
submission is within the scope of the workshop, please contact the programme
co-chairs, Fritz Henglein (http://www.diku.dk/~henglein/) and Josh Ko
(https://josh-hs-ko.github.io).
Submission categories and guidelines
------------------------------------
Two kinds of submissions will be accepted: Regular Research Papers and Short
Papers.
* Regular Research Papers should describe new results, and will be judged on
originality, correctness, significance, and clarity. Regular research
papers must not exceed 12 pages (excluding bibliography).
* Short Papers may include tool demonstrations and presentations of exciting
if not fully polished research, and of interesting academic, industrial,
and open-source applications that are new or unfamiliar. Short papers must
not exceed 6 pages (excluding bibliography).
Both kinds of submissions should be typeset using the two-column 'sigplan'
sub-format of the new 'acmart' format available at:
http://sigplan.org/Resources/Author/
and submitted electronically via HotCRP:
https://pepm18.hotcrp.com/
PEPM 2018 will employ lightweight double-blind reviewing according to the rules
of POPL 2018. Quoting from POPL 2018's call for papers:
"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 judgment 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. In particular, 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."
See POPL 2018's Submission and Reviewing FAQ page for more information:
http://popl18.sigplan.org/track/POPL-2018-papers#Submission-and-Reviewing-FAQ
Submissions are welcome from PC members (except the two co-chairs) provided
that there are non-PC co-authors.
Accepted papers will appear in formal proceedings published by ACM, and be
included in the ACM Digital Library. Authors of short papers, however, can ask
for their papers to be left out of the formal proceedings.
At least one author of each accepted contribution must attend the workshop and
present the work. In the case of tool demonstration papers, a live
demonstration of the described tool is expected. Suggested topics, evaluation
criteria, and writing guidelines for both research tool demonstration papers
will be made available on the PEPM 2018 web site.
Student participants with accepted papers can apply for a SIGPLAN PAC grant to
help cover travel expenses and other support. PAC also offers other support,
such as for child-care expenses during the meeting or for travel costs for
companions of SIGPLAN members with physical disabilities, as well as for travel
from locations outside of North America and Europe. For details on the PAC
programme, see its web page.
Important dates
---------------
* Paper submission deadline : Friday 6th October 2017 (AoE) (firm)
* Author notification : Saturday 4th November 2017
* Workshop : Monday 8th – Tuesday 9th January 2018
The proceedings will be published 2 weeks pre-conference.
AUTHORS TAKE NOTE: The official publication date is the date the proceedings
are made available in the ACM Digital Library. This date may be up to two
weeks prior to the first day of your conference. The official publication date
affects the deadline for any patent filings related to published work. (For
those rare conferences whose proceedings are published in the ACM Digital
Library after the conference is over, the official publication date remains the
first day of the conference.)
Best paper award
----------------
PEPM 2018 continues the tradition of a Best Paper award. The winner will be
announced at the workshop.
Programme committee
-------------------
Nada Amin (EPFL)
Shigeru Chiba (University of Tokyo)
Ezgi Çiçek (Max Planck Institute for Software Systems)
Olivier Danvy (Yale-NUS College)
Ronald Garcia (University of British Columbia)
Simon Gay (University of Glasgow)
Andy Gill (X, the Moonshot Factory)
Fritz Henglein (co-chair) (University of Copenhagen)
Anastasia Izmaylova (IMC Financial Markets)
Johan Jeuring (Utrecht University)
Gabriele Keller (University of New South Wales)
Oleg Kiselyov (Tohoku University)
Hsiang-Shang Ko (co-chair) (National Institute of Informatics)
Ralf Lämmel (University of Koblenz-Landau)
Julia Lawall (Inria)
Simon Peyton Jones (Microsoft Research Cambridge)
Frank Pfenning (Carnegie Mellon University)
Sriram Rajamani (Microsoft Research India)
Norman Ramsey (Tufts University)
Thomas Reps (University of Wisconsin-Madison)
Sergei Romanenko (Keldysh Institute of Applied Mathematics)
Tiark Rompf (Purdue University)
Wolfram Schulte (Facebook)
Peter Sestoft (IT University of Copenhagen)
Harald Søndergaard (University of Melbourne)
Kohei Suenaga (Kyoto University)
Martin Vechev (ETH Zurich)
Marcos Viera (University of the Republic)
Nobuko Yoshida (Imperial College London)
--
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
Subscribe to:
Posts (Atom)