[TYPES/announce] SAT 2015: Early Registration Ends Soon! Student Grants Available!
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The International Conference on Theory and Applications of Satisfiability Testing, SAT 2015 will take place in Austin, Texas, USA, September 24-27, 2015. REGISTRATION Early registration for both the conference and workshops is available through August 23rd, 2015. Register soon! After August 23rd, prices will go up! The reserved hotel blocks are also filling up fast. Book your room soon to ensure availability! Conference page: http://www.cs.utexas.edu/~marijn/sat15/index.html Registration:http://www.regonline.com/sat15 Lodging: http://www.cs.utexas.edu/~marijn/sat15/#venue STUDENT GRANTS A limited number of student travel support grants of up to 600 Euro per person are available from the SAT Association. Applicants should acquire a letter of support from their advisor and prepare a statement detailing why the travel support is needed. This information should be emailed to the SAT'15 conference chairs at sat2...@easychair.org by August 31st, 2015. Determinations will be made shortly thereafter. SCHEDULE The conference schedule is now posted online. It can be found here: http://easychair.org/smart-program/SAT2015/ INVITED TALKS Dimitris Achlioptas (UC Santa Cruz): Random Formulas are Irrelevant, Right? Anna Slobodova (Centaur Technology): Pragmatic Approach to Formal Verification Aaron Tomb (Galois, Inc.): Applying Satisfiability to the Analysis of Cryptography COMPETITIVE EVENTS SAT Race: http://baldur.iti.kit.edu/sat-race-2015/ Max-SAT Evaluation: http://maxsat.ia.udl.cat/ Pseudo-Boolean Evaluation: http://pbeva.computational-logic.org/ TUTORIALS Isil Dillig, The University of Texas at Austin, United States Priyank Kalla, University of Utah, United States Andre Platzer, Carnegie Mellon University, United States Roderick Bloem, Graz University of Technology, Austria WORKSHOPS Pragmatics of Satisfiability: http://www.pragmaticsofsat.org/2015/ Workshop on Quantified Boolean Formulas: http://fmv.jku.at/qbf15/ IMPORTANT EVENT DATES SAT Workshops: September23, 2015 SAT Regular Program: September 24-26, 2015 SAT Tutorial Day:September27, 2015 (joint with DIFTS and FMCAD) CO-LOCATED EVENTS MEMOCODE conference: September 21-23, 2015 FMCAD conference:September 27-30, 2015 DIFTS workshop: September 26-27, 2015 ACL2 workshop: October 01-02, 2015 CONFERENCE SCOPE The SAT conference is the premier annual meeting for researchers focusing on the theory and applications of the propositional satisfiability problem, broadly construed. Aside from plain propositional satisfiability, the scope of the meeting includes Boolean optimization (including MaxSAT and Pseudo-Boolean (PB) constraints), Quantified Boolean Formulas (QBF), Satisfiability Modulo Theories (SMT), and Constraint Programming (CP) for problems with clear connections to Boolean-level reasoning. Many hard combinatorial problems can be tackled using SAT-based techniques, including problems that arise in Formal Verification, Artificial Intelligence, Operations Research, Computational Biology, Cryptology, Data Mining, Machine Learning, Mathematics, et cetera. Indeed, the theoretical and practical advances in SAT research over the past twenty years have contributed to making SAT technology an indispensable tool in a variety of domains. SAT 2015 ORGANIZATION Conference Chairs: Marijn Heule, The University of Texas at Austin, United States Sean Weaver, Trusted Systems Research Group, United States Workshop Chair: Albert Oliveras, Technical University of Catalonia, Spain Tutorial Chairs: Malay Ganai, Atrenta, United States Chao Wang, Virginia Tech, United States
[TYPES/announce] PAS 2015 in Beijing - deadline extended to Aug 30
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 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,
[TYPES/announce] Call for Workshop and Tutorial Proposals, CPS Week 2016, Vienna, Austria
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] —— CALL FOR WORKSHOP AND TUTORIAL PROPOSALS Cyber-Physical Systems Week (CPS Week) April 11-14, 2016, Vienna, Austria http://www.cpsweek.org/2016/ —— CPS Week is the premier event on Cyber-Physical Systems. It brings together four top conferences, HSCC, ICCPS, IPSN, and RTAS, 10-15 workshops, a localization competition, tutorials and various exhibitions from both industry and academia. Altogether the CPS Week program covers a multitude of complementary aspects of CPS, and reunites the leading researchers in this dynamic field. CPS Week 2016 in Vienna, Austria will host 10-15 workshops (subject to room availability) and 2-3 tutorials on Monday April 11 and is soliciting proposals for new and recurring workshops as well as for tutorials. CPS Week workshops are excellent opportunities to bring together researchers and practitioners from different communities to share their experiences in an interactive atmosphere and to foster collaboration for new and innovative projects. We invite you to submit workshop proposals on any topic related to the broad set of research, education, and application areas in cyber-physical systems. Guidelines for workshop proposals: ——— Proposals should be submitted at the latest by *** October 1, 2015 *** A workshop proposal consists of a 2-page maximum PDF file, including the following information: - A concise title of the workshop - Description of the topics and specific issues that the workshop will address, how the workshop complements CPSWeek conferences and why the workshop theme is relevant - Expected format of the workshop (regular paper presentations, poster presentations, invited talks, panel discussions, demo sessions, or other ideas to promote active exchange of ideas) - Organizers with short bio, affiliation, and their expertise in the proposed topic(s) - In case the workshop has been previously held, provide information to show that the previous edition(s) were successful in terms of paper submissions and/or attendance. Links to past workshop editions would be very helpful too. - Length of the workshop (half-day/one-day) and the expected number of participants - Follow-up plans (if any) to disseminate the ideas from the workshop, for example through proceedings or journal special issue Please submit your workshop proposal by email to the workshop and tutorial chairs Christoph Kirsch (c...@cs.uni-salzburg.at tul...@comp.nus.edu.sg) and Ana Sokolova (a...@cs.uni-salzburg.at tul...@comp.nus.edu.sg). Please write “[CPSWeek 2016] Workshop Proposal in the e-mail subject line. Guidelines for tutorial proposals: ——— Proposals should be submitted at the latest by *** October 1, 2015 *** A proposal consists of a 2-page maximum PDF file, including the following information on the tutorial program: - The title and abstract of the tutorial - An outline of tutorial content and objectives - Prerequisite knowledge - Organizers/Speakers with short bio, affiliation, and their expertise in the proposed topic(s) - In case the tutorial has been previously held, include information on the last tutorial of the same topic held within CPS Week or other conferences such as the year it was held and the number of attendees. A link to past tutorial would be very helpful too. - We envision tutorials to last for 3 hours. Please submit your tutorial proposal by email to the workshop and tutorial chairs Christoph Kirsch (c...@cs.uni-salzburg.at tul...@comp.nus.edu.sg) and Ana Sokolova (a...@cs.uni-salzburg.at tul...@comp.nus.edu.sg). Please write “[CPSWeek 2016] Tutorial Proposal in the e-mail subject line. Notification of acceptance *** October 15, 2015 ***