SIGLOG Monthly 173
August 4, 2015
*******************************************************************
* Past issues of the newsletter are available at
http://lics.siglog.org/newsletters/
* Instructions for submitting an announcement to the newsletter
can be found at
http://lics.siglog.org/newsletters/inst.html
*******************************************************************
TABLE OF CONTENTS
* NEWS
CSL'15 Call for Participation
ACM SIGLOG Announcement
* DEADLINES
Forthcoming Deadlines
* CALLS
TIME 2015 - Call for Participation
CADE 2015 - Call for Participation
DCM 2015 - Call for Papers
ATVA 2015 - Call for Participation
AVACS Autumn School 2015 - Call for Participation
GBMSC - Call for Participation
ICMLA 2015 (Special Session on Formal Modeling) - Call for Papers
BCTCS 2015 - Call for Participation
HIGHLIGHTS 2015 - Call for Participation
RV 2015 - Call for Participation
LPNMR 2015 - Call for Participation
ABZ 2016 - Call for Papers, Answers to the case study, Workshops, Tutorials
COMPLEXITY 2016 - Call for Participation
* JOB ANNOUNCEMENTS
PHD POSITION AT THE AUSTRALIAN NATIONAL UNIVERSITY.
PHD POSITIONS AT THE UNIVERSITY OF PISA
CSL 2015
Call for Participation
COMPUTER SCIENCE LOGIC 2015
Berlin, 7 - 10 September 2015
http://logic.las.tu-berlin.de/csl2015/
AIM AND SCOPE
Computer Science Logic (CSL) is the annual conference of the European
Association for Computer Science Logic (EACSL). The conference is
intended for computer scientists whose research activities involve
logic, as well as for logicians working on issues significant for
computer science.
LOCATION
The 24th EACSL Annual Conference on Computer Science Logic will be
held at the Technical University Berlin from Monday, 7 September 2015
to Thursday, 10 September 2015.
INVITED SPEAKERS
Martin Abadi (Google and Santa Cruz)
Elham Kashefi (Edinburgh)
Markus Lohrey (Siegen)
Ryan Williams (Stanford)
REGISTRATION
Registration is open.
The conference fee is 300 EUR for non-students and 250 EUR for
students. There is a discount for members of EATCS and ACM SIGLOG.
HOTELS
CSL partly overlaps with IFA, a major consumer electronics convention
in Berlin. We very strongly advice to book a hotel as early as possible.
TRAVEL GRANTS
We have received a generous grant from the Deutsche
Forschungsgemeinschaft DFG for travel support. This can be used to
support any participant who has a doctorate degree.
The deadline for application is 9 August 2015.
CO-LOCATED EVENTS
FICS: Workshop in fixed-points in computer science
YuriFest: a symposium in the honour of Yuri Gurevich's 75th birthday
LogInf: the meeting of the GI Fachgruppe Logic in der Informatik.
ACM SIGLOG ANNOUNCEMENT
http://siglog.acm.org
* The ACM has recently chartered a Special Interest Group on Logic and
Computation (ACM SIGLOG). Its first Chair is Prakash Panangaden,
the other officers are Luke Ong (vice-Chair), Natarajan Shankar (Treasurer)
and Alexandra Silva (Secretary).
* The ACM-IEEE Symposium on Logic in Computer Science is the flagship
conference of SIGLOG. SIGLOG will also actively seek association agreements
with other conferences in the field. A SIGLOG newsletter (SIGLOG News)
is also published quarterly in an electronic format with community news,
technical columns, members' feedback, conference reports, book reviews
and other items of interest to the community.
* One can join SIGLOG by visiting
https://campus.acm.org/public/qj/gensigqj/siglist/gensigqj_siglist.cfm
It is possible to join SIGLOG without joining ACM (the SIGLOG membership
fee is $25 and $15 for students).
DATES
* TIME 2015
Call for Participation
Early registration deadline: July 31st
Symposium on September 23 - 25, 2015, Kassel Germany
http://time2015.uni-kassel.de
* CADE 2015
Call for Partipation
Freie Universitat Berlin, Germany, 1-7 August 2015
http://www.cade-25.info
* DCM 2015
Call for Papers
Submission Deadline for Extended Abstracts (5 pages): August 3, 2015
http://dcm-workshop.org.uk/2015/
* ATVA 2015
Call for participation
October 12-15, 2015, Shanghai, China
Early registration deadline: August 15, 2015
http://atva2015.ios.ac.cn/
* AVACS Autumn School 2015
Oldenburg, Germany, September 30 to October 2, 2015
Early registration deadline: August 31, 2015
http://www.avacs.org/autumn2015
* GBMSC
Conference: August 17-28, 2015
http://booleconferences.ucc.ie/gbmsc2015
* ICMLA 2015 (Special Session on Formal Modeling for Machine Learning Techniques)
Submission deadline: August 31, 2015
http://www.icmla-conference.org/icmla15/files/Special%20Session%20proposal%20Formal%20Methods.pdf
* BCTCS 2015
Middlesex University, Hendon, London, UK, 14th-18th September 2015
http://www.cs.mdx.ac.uk/foundations/bctcs2015/
* HIGHLIGHTS 2015
Conference: Prague, 15-18 September 2015
http://highlights-conference.org
* RV 2015
Conference: Vienna, Austria, September 22-25, 2015
http://rv2015.conf.tuwien.ac.at/
* LPNMR 2015
Conference: Lexington, KY, USA, September 27-30, 2015
http://lpnmr2015.mat.unical.it/
* ABZ 2016
Workshop proposal submissions: October 16, 2015
Workshop proposal notifications: November 6, 2015
Research paper and answers to case study submission: January 15, 2016
Short paper submission: February 4, 2016
Tutorial proposal submissions: February 15, 2016
http://www.cdcc.faw.jku.at/ABZ2016/
* SPECIAL SEMESTER ON COMPUTATIONAL COMPLEXITY AND PROOF COMPLEXITY 2016
April-June 2016
Chebyshev Laboratory at St.Petersburg State University
Organized jointly with the Skolkovo Institute of Science and Technology.
http://en.chebyshev.spb.ru/complexity2016
22ND INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING (TIME 2015)
Call for participation
Early registration deadline: July 31st
Symposium on September 23 - 25, 2015, Kassel Germany
http://time2015.uni-kassel.de
* AIMS
TIME 2015 aims to bring together researchers interested in reasoning about
temporal aspects of information in any area of Computer Science. The
symposium has a wide remit and intends to cater both for theoretical aspects
and well-founded applications. One of the key aspects of the time symposium
is its interdisciplinarity with attendees from distinct areas such as
artificial intelligence, database management, logic and verification, and
beyond. The symposium will encompass three tracks on temporal representation
and reasoning in AI, Databases, as well as Logic and Verification. The
two-and-a-half-days scientific programme with 3 invited presentations, 17
contributed talks and a panel session on temporal databases will be
complemented with two social events on the first and second evening.
Please consult the TIME 2015 website for further information, including
the list of accepted papers.
* INVITED SPEAKERS
Giuseppe de Giacomo, Sapienza Universita di Roma;
Carlo Zaniolo, UCLA;
Benedikt Bollig, ENS Cachan
25TH INTERNATIONAL CONFERENCE ON AUTOMATED DEDUCTION (CADE-25)
Call for Partipation
Freie Universitat Berlin, Germany, 1-7 August 2015
http://www.cade-25.info
* CADE is the major forum for the presentation of research in all
aspects of automated deduction.
* IMPORTANT DATES:
Early Registation Deadline: 21 June 2015
* INVITED SPEAKERS:
CADE-25 jubilee session
* Ursula Martin, University of Oxford
* Frank Pfenning, Carnegie Mellon University
* David Plaisted, University of North Carolina at Chapel Hill
* Andrei Voronkov, University of Manchester
CADE-25 main conference
* Ulrich Furbach, University of Koblenz, ECCAI invited talk
* Edward Zalta, Stanford University
* Michael Genesereth, Stanford University (joint with RuleML Symposium)
Reception and dinner speeches will be given by Wolfgang Bibel and
Jorg Siekmann.
* WORKSHOPS
Bridging: Bridging the gap between human and automated reasoning
DT: 29. Jahrestreffen der GI-Fachgruppe Deduktionssysteme
HOL4: HOL4 Workshop
IWC: The 4th International Workshop on Confluence
LFMTP: International Workshop on Logical Frameworks and
Meta-Languages: Theory and Practice
LOCAS: Low-level Code Analysis for Security
PxTP: Workshop on Proof eXchange for Theorem Proving
QUANTIFY: 2nd International Workshop on Quantification
Vampire: The Vampire Workshop
* TUTORIALS
Abella: Reasoning about Computational Systems using Abella
Beluga: Programming proofs about formal systems
CPROVER: From Programs to Logic: The CPROVER verification tools
Isabelle: Isabelle Tutorial
Lean: Lean Theorem Prover: a Tutorial
Superposition: 25th Anniversary of Superposition: Status and Future
* COMPETITIONS
CASC: The CADE ATP System Competition
CoCo: The 4th Confluence Competition
termCOMP: Termination Competition
* POSTER EVENT
EPS: The CADE-25 Taskforce towards an Encyclopedia of Proof Systems
* ORGANIZERS:
Conference Chair:
Christoph Benzmueller (Freie Universitat Berlin)
Program Committee Co-Chairs:
Amy Felty (University of Ottawa)
Aart Middeldorp (University of Innsbruck)
Workshop, Tutorial, and Competition Co-Chairs:
Jasmin Blanchette (Technische Universitat Muenchen
Andrew Reynolds (EPFL Lausanne)
Publicity and Web Chair:
Julian Roder (Freie Universitat Berlin)
11TH WORKSHOP ON DEVELOPMENTS IN COMPUTATIONAL MODELS (DCM 2015)
Call for Papers
October 28, 2015, Cali - Colombia
http://dcm-workshop.org.uk/2015/
Satellite event of ICTAC 2015 (http://www.ictac2015.co)
* AIM
The DCM workshop aims to bring together researchers who are currently
developing new computational models or new features for traditional
computational models, in order to foster their interaction, to provide
a forum for presenting new ideas and work in progress, and to enable
newcomers to learn about current activities in this area.
* TOPICS OF INTEREST
Topics of interest include all abstract models of computation and
their applications to the development of programming languages and
systems. This includes (but is not limited to):
- Functional calculi: lambda-calculus, rho-calculus, term and graph rewriting;
- Quantum computation, including implementations and formal methods in
quantum protocols;
- Probabilistic computation and verification in modelling situations;
- Chemical, biological and bio-inspired computation, including spatial models,
self-assembly, growth models;
- Models of concurrency, including the treatment of mobility, trust, and security;
- Infinitary models of computation;
- Information-theoretic ideas in computing.
* IMPORTANT DATES
- Submission Deadline for Extended Abstracts (5 pages): 3 Aug 2015
- Notification:13 Sep 2015;
- Pre-proceedings version due: 5 Oct 2015
- Workshop: 28 Oct 2015
- Deadline for EPTCS Proceedings : 7 Dec 2015
* CHAIRS
- Cesar Munoz, NASA (USA)
- Jorge A. Perez, University of Groningen (NL)
13TH INTERNATIONAL SYMPOSIUM ON AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2015
Call for participation
October 12-15, 2015, Shanghai, China
Early registration deadline: August 15, 2015
http://atva2015.ios.ac.cn/
* CONTEXT
ATVA promotes research on theoretical and practical aspects of automated
analysis, verification and synthesis by providing a forum for interaction
between the regional and the international research communities and
industry in the field. The conference will be held at East China Normal
University (old campus) in Shanghai.
* KEYNOTES and TUTORIALS
Dino Distefano (Facebook and Queen Mary University of London, UK)
Martin FrŠnzle (Carl von Ossietzky UniversitŠt, Oldenburg, Germany)
Joost-Pieter Katoen (RWTH Aachen University, Germany)
J Strother Moore (University of Texas-Austin, USA)
* REGISTRATION
Registration is open now.
Early registration deadline: August 15, 2015
For details see http://atva2015.ios.ac.cn/participation.html#registration
* GENERAL CHAIR
Jifeng He (East China Normal University, China)
* PROGRAMME CHAIRS
Bernd Finkbeiner (Saarland University, Germany)
Geguang Pu (East China Normal University, China)
Lijun Zhang (Institute of Software, Chinese Academy of Sciences)
* WORKSHOP CHAIR
Jun Sun (Singapore University of Technology and Design, SG)
2ND AUTUMN SCHOOL ON AUTOMATIC ANALYSIS AND VERIFICATION OF COMPLEX SYSTEMS
Call for Participation
September 30 to October 2, 2015
Oldenburg, Germany
http://www.avacs.org/autumn2015
* AIMS
"Automatic Verification and Analysis of Complex Systems" is an autumn
school focussing on automated formal methods in computer science and
their application to the analysis and verification of complex embedded
systems. Targeting primarily PhD students and young researchers with
an interest in safety-critical embedded systems, the technical program
comprises talks from 12 specialists in the field of automated formal
methods, covering the range from hard real-time systems over hybrid
systems to dynamically restructuring systems of systems.
* LECTURERS
Overview:
- Werner Damm (Carl von Ossietzky Universitat Oldenburg, D)
Hybrid Systems:
- Goran Frehse (Universite Joseph Fourier Grenoble, F)
- Andre Platzer (Carnegie Mellon University, PA, USA)
- Thomas Sturm (Max-Planck-Institut fur Informatik, D)
Real-Time:
- Kim G. Larsen (Aalborg Universitet, DK)
- Ernst-Rudiger Olderog (Carl von Ossietzky Universitat Oldenburg, D)
- Andrey Rybalchenko (Microsoft Research, UK)
- Mani Swaminathan (Carl von Ossietzky Universitat Oldenburg, D)
Systems of Systems:
- Paolo Marin (Albert-Ludwigs-Universitat Freiburg, D)
- David Parker (University of Birmingham, UK)
- Sven Schewe (University of Liverpool, UK)
- Ralf Wimmer (Albert-Ludwigs-Universitat Freiburg, D)
* VENUE AND REGISTRATION
The autumn school will be held at the Carl von Ossietzky University
Oldenburg. Please see the autumn school's website
www.avacs.org/autumn2015 for detailed information.
Inquiries can be addressed to the local organizers Martin Franzle,
Thomas Scheidsteger, and Jurgen Niehaus via email: autumn2015@avacs.org .
GEORGE BOOLE MATHEMATICAL SCIENCES CONFERENCE (GBMSC 2015)
Call for Participation
17-25 August 2015
Cork, Ireland
http://booleconferences.ucc.ie/gbmsc2015
* CONTEXT
As part of the celebrations of Boole's bicentenary, the George Boole
Mathematical Sciences (GBMS) Conference (including Domains XII) will be
held in University College Cork (UCC) during the last two weeks of
August 2015. George Boole (1815-1864) was the first professor of
mathematics at Cork. Boole's efforts to mathematize logical thinking
caused a lasting paradigm shift in the 19th century which enlarged the
scope and potency of modern mathematics, and provided a wealth of ideas
for applications in diverse scientific areas resulting in ground-breaking
innovations during the 20th century and beyond. This event will include
100-150 lectures on selected areas:
- Theme 1: Boole and Beyond in Quantum Information Theory
- Theme 2: From Boole's Algebra of Logic to Boolean Algebra, and Beyond
- Theme 3: Complex and Boolean NetworksGeometry and Visualization
- Theme 4: Geometry and Visualization
- Theme 5: Harmonic Analysis
- Theme 6: Invariants from Moduli Spaces
- Theme 7: Mathematical Financial Modelling Post-Crisis
- Theme 8: Quantum Probabilistic Symmetries and Quantized Boolean Algebras
The following events are embedded in and associated with the conference:
- 2015 Annual Meeting of the Irish Mathematical Society (IMS)
- Domains XII
- When Boole Meets Shannon
14TH INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND APPLICATIONS (ICMLA'15)
Call for papers for the Special Session on ŇFormal Modeling for Machine Learning TechniquesÓ
December 9-11, 2015
Miami, Florida, USA
Submission deadline: August 31, 2015
http://www.icmla-conference.org/icmla15/files/Special%20Session%20proposal%20Formal%20Methods.pdf
* AIMS
This special session invites submissions from those working in areas of
formal modeling and verification of machine learning algorithms, systems
and applications. This special session seeks original practical and
theoretical research papers including but not limited to the following topics:
Petri nets for Machine Learning, knowledge management, brokering & directory
services, relaxed transactions and workflows, concurrent O-O & actor
programming, mobile computing, business process management, information
retrieval, filtering & browsing, resource discovery, Predictive modeling
and optimization, Pattern recognition and classification, Event recognition
Regression and Forecasting, Models of Data and Measurements, Feature
Selection, Soft Computing, Learning Theory.
BRITISH COLLOQUIUM FOR THEORETICAL COMPUTER SCIENCE 2015
Call for Participation
Middlesex University, Hendon, London, UK, 14th-18th September 2015
http://www.cs.mdx.ac.uk/foundations/bctcs2015/
* AIMS
The purpose of BCTCS is to provide a forum in which researchers in
theoretical computer science can meet, present research findings, and
discuss developments in the field. It also aims to provide an
environment in which PhD students can gain experience in presenting
their work, and benefit from contact with established researchers.
The scope of the colloquium includes all aspects of theoretical
computer science, including automata theory, algorithms, complexity
theory, semantics, formal methods, concurrency, types, languages and
logics. Both computer scientists and mathematicians are welcome to
attend, as are participants from outside of the UK.
* INVITED SPEAKERS
The invited speakers currently include the following:
Samson Abramsky, Oxford University, UK.
Timothy Gowers, Cambridge University (tbc).
Tony Hoare, Microsoft Research.
Thomas Hales, University of Pittsburgh, USA, (LMS Keynote).
Per Martin-Lof, Stockholm University, Sweden.
Joseph Sifakis, University of Grenoble, France.
* ASSOCIATED EVENTS
Associated with the meeting, on Thursday 17th September, is the
London Mathematical Society (LMS) Algorithms & Cryptography Day.
The LMS meeting on Thursday also has eminent speakers.
Lance Fortnow, Georgia Tech, USA.
Shafi Goldwasser, MIT, USA.
Jon Kleinberg, Cornell University, USA.
Mike Paterson, University of Warwick.
Adi Shamir, Weizmann Institute, Israel (tbc).
Nigel Smart, University of Bristol.
* REGISTRATION
Registration is now open from the following link:
http://www.onlinestore.mdx.ac.uk/browse/extra_info.asp?compid=1&modid=5&dep
tid=56&catid=93&prodid=643&coursedate=692
The deadline for registration is 14th August.
HIGHLIGHTS OF LOGIC, GAMES AND AUTOMATA (HIGHLIGHTS 2015)
Call for Participation
Prague, 15-18 September 2015
http://highlights-conference.org
* AIMS
HIGHLIGHTS 2015 is the third conference on Highlights of Logic, Games
and Automata which aims at integrating the community working in these
fields. A visit to Highlights conference should offer a wide picture
of the latest research in the area and a chance to meet everybody in
the field, not just those who happen to publish in one particular
proceedings volume. The participants present their best work, be it
published elsewhere or yet unpublished.
* INVITED SPEAKERS
Christel Baier
Thomas Colcombet
Giuseppe De Giacomo
Philippe Schnoebelen
The program is further enriched by a special Mathematical Colloquia
talk by Moshe Vardi that takes place in Karolinum, the historical
seat of the Charles University in Prague.
* DATES
The conference is three days long (Sept. 16-18) and it is preceeded
by the Highlights tutorial day (Sept. 15). The contributed talks are
around ten minutes.
* REGISTRATION
The registration form and detailed information about Highlights 2015
are available at http://highlights-conference.org. There is a
small registration fee of 80 Euro which includes lunches and conference
dinner. Although the deadline for early registration already elapsed, the
organizers still offer several cheap rooms close to the conference
venue (the available capacity is almost booked, so this option remains
open only for a very limited period of time). All potential
participants are recommended to register as soon as possible.
15TH INTERNATIONAL CONFERENCE ON RUNTIME VERIFICATION (RV 2015)
Call for Participation
Vienna, Austria, September 22-25, 2015
http://rv2015.conf.tuwien.ac.at/
* OVERVIEW
Runtime verification is concerned with monitoring and analysis of software
and hardware system executions. Runtime verification techniques are important
for system correctness, reliability, and robustness; they are complementary
to conventional testing, and more practical than exhaustive formal
verification. Topics of interest to the conference include:
- specification languages
- specification mining
- program instrumentation
- monitor construction techniques
- logging, recording, and replay
- fault detection, localization, containment, recovery and repair
- program steering and adaptation
- metrics and statistical information gathering
- combination of static and dynamic analyses
- program execution visualization
- monitoring techniques for safety/mission-critical systems
- monitoring distributed systems, cloud services, and big data applications
- monitoring security and privacy policies
* INVITED TALKS
- Patrice Godefroid, Microsoft Research, USA
- Sriram Sankaranarayanan, University of Colorado Boulder, USA
- Georg Weissenbacher, Vienna University of Technology, Austria
* TUTORIALS
- M. Isberner, B. Steffen, F. Howar
- P. Daian, Y. Falcone, P. Meredith, T. F. Serbanuta, S. Shiriashi, A. Iwai, G. Rosu
- D. Nickovic
- L. Bortolussi, D. Milos, G. Sanguinetti
* REGISTRATION
Full details available at the registration link:
http://rv2015.conf.tuwien.ac.at/?page_id=522
* CHAIRS AND ORGANIZERS
General Chair: Radu Grosu (Vienna University of Technology, Austria).
PC co-Chairs:
- Ezio Bartocci (Vienna University of Technology, Austria)
- Rupak Majumdar (Max Planck Institute, Germany)
Tools Track Chair: Dejan Nickovic (Austrian Institute of Technology, Austria)
Runtime Monitoring Competition Co-Chairs:
- Ylies Falcone (Universite Joseph Fourier, France)
- Dejan Nickovic (AIT Austrian Institute of Technology GmbH, Austria)
- Giles Reger (University of Manchester, UK)
- Daniel Thoma (University of Luebeck, Germany)
13TH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING AND NON-MONOTONIC REASONING (LPNMR 2015)
Call for Participation
Lexington, KY, USA, September 27-30, 2015
http://lpnmr2015.mat.unical.it/
* REGISTRATION: Registration procedure is available via
http://www.cs.uky.edu/lpnmr2015/.
EARLY REGISTRATION CLOSES SOON
* AIMS:
LPNMR 2015 is the thirteenth in the series of international meetings on
logic programming and non-monotonic reasoning. LPNMR is a forum for
exchanging ideas on declarative logic programming, non-monotonic reasoning,
and knowledge representation.
* The program will include three invited talks:
- Stable Models for Temporal Theories - By Pedro Cabalar, University of
Corunna, Spain
- Algorithmic decision theory meets logic - By Jerome Lang, Universite
Paris-Dauphine, France (Plenary session with ADT 2015).
- Relational and Semantic Data Mining - By Nada Lavrac, Jozef Stefan
Institute and University of Nova Gorica, Slovenia
* ASSOCIATED EVENTS
This edition of LPNMR will also feature several workshops, a special session
dedicated to the 6th ASP Systems Competition, and will be collocated with the
4th Algorithmic Decision Theory Conference, ADT 2015. Joint LPNMR-ADT Doctoral
Consortium will be a part of the program.
Currently planned workshops
include:
- Grounding, Transforming, and Modularizing Theories with Variables
Organizers: Marc Denecker, Tomi Janhunen
Website: https://sites.google.com/site/gttv2015/
- Action Languages, Process Modeling, and Policy Reasoning
Organizer: Joohyung Lee, Gail-Joon Ahn
Website: https://sites.google.com/site/alpp2015/
- Natural Language Processing and Automated Reasoning
Organizers: Marcello Balduccini, Ekaterina Ovchinnikova, Peter Schueller
Website: https://sites.google.com/site/nlpar2015/
- Learning and Nonmonotonic Reasoning
Organizers: Alessandra Russo and Alessandra Mileo
Website: http://lnmr2015.insight-centre.org/
Full info are available via the official conference website
http://lpnmr2015.mat.unical.it/.
* GENERAL CHAIR: Victor Marek, University of Kentucky, KY, USA
* PROGRAM CHAIRS
Giovambattista Ianni, University of Calabria, Italy
Mirek Truszczynski, University of Kentucky, KY, USA
* WORKSHOPS CHAIR
Yuliya Lierler, University of Nebrska at Omaha, NE, USA
* NEW INFORMATION ABOUT STUDENT SUPPORT GRANTS
The organizing committee has limited funds to partially support students
attending LPNMR, with priority to authors of accepted papers that are not
funded by the doctoral consortium and have no other funding available.
5TH INTERNATIONAL ABZ 2014 CONFERENCE (ASM, Alloy, B, TLA, VDM, Z)
Call for Papers, Answers to the case study, Workshops, Tutorials
May 23-27, 2016
Linz, Austria
http://www.cdcc.faw.jku.at/ABZ2016/
* The ABZ conference is dedicated to the cross-fertilization of six related
state-based and machine-based formal methods, Abstract State Machines (ASM),
Alloy, B, TLA, VDM and Z. Contributions are solicited on all aspects of the
theory and applications of ASMs, Alloy, B, TLA, VDM, Z approaches in
software/hardware engineering, including the development of tools and
industrial applications.
* Types of submission:
-- Research papers: full papers of not more than 14 pages in LNCS format,
which have to be original, unpublished and not submitted elsewhere.
-- Short presentations of work in progress, and tool demonstrations. An
extended abstract of not more than 4 pages is expected and will be reviewed.
-- Answers to case study papers: full papers of not more than 14 pages in
LNCS format reporting on the experiments conducted with any of the state
based techniques in the scope of ABZ 2014.
-- Application in industry papers reporting on work or experiences on the
application of state based formal methods in industry. An extended abstract
of not more than 4 pages is expected and will be reviewed.
* Submission site: https://easychair.org/conferences/?conf=abz2016
* Important Dates:
Workshop proposal submission: October 16, 2015
Research paper, Answers to case study submission: January 15, 2016
Short and industry paper submission: February 4, 2016
Tutorial proposal submissions: February 15, 2016
Tutorial proposal notifications: March 14, 2016
* Detailed information can be found on the conference website
* Contact: Klaus-Dieter SCHEWE (klaus-dieter.schewe@scch.at)
SPECIAL SEMESTER ON COMPUTATIONAL COMPLEXITY AND PROOF COMPLEXITY
* April-June 2016
* Chebyshev Laboratory at St.Petersburg State University
Organized jointly with the Skolkovo Institute of Science and Technology.
* Events include a WORKSHOP ON PROOF COMPLEXITY, May 17-20, 2016, St. Petersburg,
organized by Sam Buss and Pavel Pudlak, keynote speaker Jan Krajicek;
and a WORKSHOP ON LOW-DEPTH COMPLEXITY, May 23-25, 2016, St. Petersburg,
organized by Ben Rossman and Rahul Santhanam, keynote speaker Ryan Williams.
* Short courses will be held before each workshop.
* Graduate student, postdocs and other researchers may apply for funding for
both short or extended visits throughout the semester.
* To inquire about participation, or apply for funding, please fill out the
form on the web page or email the organizers directly.
* Web page: http://en.chebyshev.spb.ru/complexity2016.
* Organizers: Sam Buss and Edward A. Hirsch.
FULLY FUNDED PHD POSITION AT THE AUSTRALIAN NATIONAL UNIVERSITY.
Applications are invited for a fully funded PhD position in the
Logic and Computation Group (http://logic.cecs.anu.edu.au/)
at the Australian National University.
Project: Trustworthy Electronic Voting
Supervisors: Dirk Pattinson and Rajeev Gore
Starting: December 2015
Contact: Dirk Pattinson (dirk.pattinson@anu.edu.au)
Deadline: August 15, 2015
* PROJECT SUMMARY
Verifiable vote counting is one of the cornerstones of a trustworthy
electronic voting system. Correctness and trust can be achieved by
understanding voting protocols, specified textually in legislation, as
formal rules. Vote counting can then be cast as successive rule
application, where the sequence of rule application serves as an
independently verifiable certificate attesting to the correctness of
the count. The project offers a wide range of activities, ranging
from foundations, rule design, efficiency considerations to concrete
case studies. The project seeks to further investigate this idea and
apply it to real-world voting systems and mainly deals with the
following aspects:
- generation of provably correct vote counting functions from rules
- efficiency of rule-based vote counting and certificate checking
- formal proofs of meta-properties of voting protocols
- case studies with real-world voting protocol
- minimising the gap between formal rules and legal specification
PHD POSITIONS AT THE UNIVERSITY OF PISA
We would like to announce that the call for 12 grants plus 4 positions
without bursary, at the PhD in Computer Science of the University of Pisa,
is now available at: http://dottorato.unipi.it/index.php/en
The deadline for applications is 3 September 2015, and the selection will
be made on CV, reference letters and an interview, also via teleconferencing
(check *carefully* the relevant fields required). For further details
please preferably contact Mrs Rosaria Mongini
or otherwise the chairman of the PhD Programme
Prof. Pierpaolo Degano
Back to the LICS web page.