[TYPES/announce] PAS 2015 in Beijing - deadline extended to Aug 30

[Isabela Drămnesc]

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 papers/extended abstracts: August 30, 2015 (firm extended) 
- 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 

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, Linz, Austria 
Xiaoyu Chen, Beihang University, Beijing, China 
Stefan Ciobaca, University A. I. Cuza, Iasi, 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, Edinburgh, 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, Eger, Hungary 
Oleksandr Letychevskyi, Glushkov Institute of Cybernetics, Kiev, Ukraine 
Dorel Lucanu, University A. I. Cuza, Iasi, Romania 
Jie Luo, Beihang University, Beijing, China 
Alexander Maletzky, Johannes Kepler University, Linz, 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, Cluj, Romania 
Michael Rusinowitch, LORIA - INRIA Nancy, France 
Vlad Rusu, INRIA, Lille, France 
Wolfgang Schreiner, Johannes Kepler University, Linz, Austria 
Martina Seidl, Johannes Kepler University, Linz, Austria 
Viorica Sofronie-Stokkermans, University of Koblenz, Germany 
Kaile Su, Griffith University, Bribane, Australia 
Wolfgang Windsteiger, Johannes Kepler University, Linz, Austria 
Naijun Zhan, Chinese Academy of Sciences, Beijing, 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://lists.seas.upenn.edu/pipermail/types-announce/attachments/20150821/571715e9/attachment.html>