数学、信息与行为教育部重点实验室
设为首页  |  加入收藏
 首页 | 实验室概况 | 研究队伍 | 科学研究 | 人才培养 | 开放与交流 | 平台建设 | 运行管理 | 下载专区 
实验室公告

学术会议
当前位置: 首页 > 开放与交流 > 学术会议 > 正文
 
PAS-2015 in Beijing - deadline extended to August 30
2015-09-01 18:57   审核人:

 


               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 developersactively involved or interested in developing, usig,  

and applyingmethods and software tools of symbolic computation for programverification and automated debugging to

exchange ideas and views, toreview the state of the art and discuss prospects, to present researchresults and experiments,  and to build up contacts for futurecooperation. The scientific program of the seminar will featureinvited 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. Thesubmitted full papers and extended abstracts will be reviewed by the program committee for soundness and relevance to theseminar. 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)  

关闭窗口
 

数学信息与行为教育部重点实验室

您是第 位访问者