[Om-announce] Second CFP: Fourth International Seminar on Program Verification, Automated Debugging and Symbolic Computation

[董日娜]

             PAS 2015 - Fourth International Seminar on
Program Verification, Automated Debugging and Symbolic Computation
                Beijing, China, October 21-23, 2015
                      http://pas2015.cc4cm.org/

Important Dates
  - Submission of abstracts                         August 15, 2015
  - Submission of papers/extended abstracts:        August 20, 2015
  - Notification of acceptance or rejection:     September 20, 2015
  - Final version due:                             October 10, 2015
  - Seminar taking place:                       October 21-23, 2015

Overview

PAS 2015 will provide a forum for researchers and software developers
actively involved or interested in developing, using, and applying
methods and software tools of symbolic computation for program
verification and automated debugging to exchange ideas and views, to
review the state of the art and discuss prospects, to present research
results and experiments,  and to build up contacts for future
cooperation. The scientific program of the seminar will feature
invited talks and contributed presentations.

Specific topics for PAS 2015 include (but are not limited to):
  - Theories and methodologies for program verification and testing
  - Model checking, fault locating and program repairing
  - Symbolic computation and automated reasoning for program verification
  - Termination, correctness and complexity analysis of programs
  - Automated program synthesis and transformation
  - Logic and semantics for automated and algorithmic debugging
  - Program debugging paradigms and techniques
  - Symbolic constraint solving for verification and debugging
  - Tools, prototypes, empirical and case studies

The previous seminars PAS 2012 and PAS 2013 were held in Beijing, China,
and PAS 2014 was part of the Federated Logic Conference (FLoC) and the
Vienna Summer of Logic.

Submission guideline

Potential participants of PAS 2015 are invited to submit first half-page
abstracts and then full papers or extended abstracts (3-5 pages)
describing their work to be presented at the seminar. The submitted full
papers and extended abstracts will be reviewed by the program committee
for soundness and relevance to the seminar. Submission of original
research papers is encouraged, while published material and work in
progress will also be considered for presentation at the seminar.
Electronic submissions are strongly preferred using EasyChair:

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

Accepted full papers and extended abstracts will be distributed at the
seminar. Authors of the full papers and extended abstracts accepted for
presentation at the seminar will be invited to submit their full and/or
revised papers for publication in the post-proceedings volume as a special
issue of the Journal of Symbolic Computation (JSC) after the meeting.
The submitted papers will be formally reviewed by external referees
according to the standard refereeing procedure of JSC.


Honorary Chair

Wei Li (Beihang University, China)


Steering Committee

Hoon Hong (North Carolina State University, USA)
Tudor Jebelean (Johannes Kepler University, Austria)
Jens Knoop (Technical University of Vienna, Austria)
Alexander Letichevsky (Cybernetics National Academy of Sciences, Ukraine)
Wei Li (Beihang University, China)
Dongming Wang (Beihang University, China and CNRS, France)


Program Chairs

Tudor Jebelean (Johannes Kepler University, Austria)
Dongming Wang (Beihang University, China and CNRS, France)


Program Committee

Sandra Alves (University of Porto, Portugal)
Alessandro Armando (University of Genova, Italy)
Armin Biere (Johannes Kepler University, Austria)
Xiaoyu Chen (Beihang University, China)
Stefan Ciobaca (University A. I. Cuza, Romania)
Isabela Dramnesc (West University of Timisoara, Romania)
Madalina Erascu (West University of Timisoara, Romania)
Mario Florido (University of Porto, Portugal)
Martin Giese (University of Oslo, Norway)
Fairouz Kamareddine (Heriot-Watt University, Scotland)
Jens Knoop (Technical University of Vienna, Austria)
Boris Konev (University of Liverpool, England)
Laura Kovacs (Chalmers University of Technology, Sweden)
Gabor Kusper (Eszterhazy Karoly College, Hungary)
Oleksandr Letychevskyi (Glushkov Institute of Cybernetics, Ukraine)
Dorel Lucanu (University A. I. Cuza, Romania)
Jie Luo (Beihang University, China)
Alexander Maletzky (Johannes Kepler University, Austria)
Mircea Marin (West University of Timisoara, Romania)
Marius Minea (Politehnica University of Timisoara, Romania)
Grant Passmore (University of Cambridge, England)
Vladimir Peschanenko (Kherson State University, Russia)
Judit Robu (Babes-Bolyai University, Romania)
Michael Rusinowitch (LORIA - INRIA Nancy, France)
Vlad Rusu (INRIA, France)
Wolfgang Schreiner (Johannes Kepler University, Austria)
Martina Seidl (Johannes Kepler University, Austria)
Viorica Sofronie-Stokkermans (University of Koblenz, Germany)
Kaile Su (Griffith University, Australia)
Wolfgang Windsteiger (Johannes Kepler University, Austria)
Naijun Zhan (Chinese Academy of Sciences, China)


Local Arrangements

Xiaoyu Chen (Beihang University, China)
Aishan Liu (Beihang University, China)
Dan Song (Beihang University, China)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://openmath.org/pipermail/om-announce/attachments/20150801/f660799e/attachment.html>