Newsletter 163
October  1, 2014

*******************************************************************
* Past issues of the newsletter are available at
 http://lii.rwth-aachen.de/lics/newsletters/
* Instructions for submitting an announcement to the newsletter
 can be found at
 http://lii.rwth-aachen.de/lics/newsletters/inst.html
*******************************************************************

TABLE OF CONTENTS
* LICS-RELATED NEWS
  LICS'15 Preview
  ACM SIGLOG Announcement
  ACM SIGLOG Logo Competition
* DEADLINES
  Forthcoming Deadlines
* CALLS
  PODS 2015 - Call for Papers
  ETAPS 2015 - Call for Papers
  EDBT/ICDT 2015 - Call for Tutorials
  NASA FORMAL METHODS SYMPOSIUM - Call for Papers
  LICS 2015 - Call for Papers
  TTL 2015 - Call for Papers
  LPNMR 2015 - Preliminary Call for Papers
* JOB ANNOUNCEMENTS
  Funded PhD Positions in Dynamic Adaptive Automated Software Engineering (DAASE)
  Two PhD positions in Information Security at ETH Zurich
  New Doctoral Program on Logical Methods in Computer Science (LogiCS)
* BOOK ANNOUNCEMENT
  Logic, Computation, Hierarchies (Festschrift in honour of Victor L. Selivanov)


LICS'15 PREVIEW
  http://lics.rwth-aachen.de/lics15/
* LICS'15 will colocate with ICALP 2015, 6-10 July, in Kyoto. Masahito Hasegawa
  (RIMS, Kyoto) is the Conference Chair. The PC is chaired by Catuscia
  Palamidessi. There will be 4 invited talks, 2 of which joint with ICALP
  Track B. The 2 invited tutorial talks of 1.5 hours each will be embedded
  in the main programme. The first call for papers is available at
  http://lics.rwth-aachen.de/lics15/.



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 will be the flagship
  conference of SIGLOG. SIGLOG will also actively seek association agreements
  with other conferences in the field. A SIGLOG newsletter will be 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).



ACM SIGLOG LOGO COMPETITION
http://siglog.acm.org
* ACM SIGLOG is in urgent need of a logo! Accordingly, the SIGLOG Publicity
  Committee would like to invite all members of the community to come forward
  with their proposals. The logo should blend well with the colour scheme of
  the website, the SIGLOG News cover and the ACM logo. SIGLOG should be written
  with all capitals. Please send your designs to publicity@siglog.org by
  October 31st, 2014. The winning entry will be announced by the end of
  the year 2014. The winner will receive a T-shirt with the logo.



DEADLINES
* PODS 2015
  Cycle 1: 3 Oct 2014 (abstract); 10 Oct 2014 (paper)
  Cycle 2: 28 Nov 2014 (abstract); 5 Dec 2014 (paper)
  http://www.sigmod2015.org
* ETAPS 2015
  Abstract deadline: October 10, 2014
  Paper deadline: October 17, 2014
  http://www.etaps.org/index.php/2015/call-for-papers
* EDBT/ICDT 2014
  Proposal submission: 7 November 2014
  http://edbticdt2015.be/index.php/edbt-icdt-call-for-tutorials
* NASA FORMAL METHODS 2015
  Paper submission: November 10, 2014
  http://www.NASAFormalMethods.org/nfm2015
* LICS 2015
  Title and Short Abstracts Due: January 12, 2015
  Extended Abstracts Due: January 19, 2015
  http://lics.rwth-aachen.de/lics15/
* TTL 2015
  Paper submission: 18 Jan 2015
  http://ttl2015.irisa.fr/
* LPNMR 2015
  Paper registration: April 13, 2015
  Paper submission:   April 20, 2015
  http://lpnmr2015.mat.unical.it/



34TH ACM SIGMOD-SIGACT-SIGAI SYMPOSIUM ON PRINCIPLES OF DATABASE SYSTEMS (PODS 2015)
  Call for Papers
  June 1-3, 2015, Melbourne, Victoria, Australia
  http://www.sigmod2015.org
* The PODS symposium series, held in conjunction with the SIGMOD
  conference series, provides a premier annual forum for the
  communication of new advances in the theoretical foundation of
  management, traditional or non-traditional.  For the 34th edition,
  PODS aims at broadening its scope, and calls for research papers
  providing original, substantial contributions along one or more of
  the following aspects: (1) deep theoretical exploration of topical
  areas central to data management; (2) new formal frameworks that
  aim at providing the basis for deeper theoretical investigation of
  important emerging issues in data management; and (3) validation of
  theoretical approaches from the lens of practical applicability in
  data management.
* Topics that fit the interests of the symposium include the following
  (as they pertain to databases): design, semantics, optimization;
  data modeling; data structures and algorithms; tree- and
  graph-structured data; search; information retrieval; approximation;
  model theory; logics; algebras and complexity; dynamic aspects;
  foundations of "big data" and "small data"; data analytics;
  streaming, real-time, and sensor data; processes, workflows, web
  services; verification and synthesis; incompleteness; inconsistency;
  uncertainty; constraints; metadata; semantic, linked, networked, and
  crowdsourced data; data and knowledge integration and exchange;
  distribution and parallelism; cloud computing; domain-specific data;
  mining and learning; privacy; security; provenance.
* Important dates:
  Cycle 1: Abstract 3 Oct 2014; Paper 10 Oct 2014; Notif 19 Dec 2014;
           Revised paper 30 Jan 2015; Notif 9 Mar 2015
  Cycle 2: Abstract 28 Nov 2014; Paper 5 Dec 2014; Notif 20 Feb 2015;
  Camera ready for both cycles: 22 Mar 2015



EUROPEAN JOINT CONFERENCES ON THEORY AND PRACTICE OF SOFTWARE (ETAPS 2015)
  Call for Papers
  April 11-19, 2015
  London, UK
  http://www.etaps.org
* ABOUT ETAPS
  ETAPS is the primary European forum for academic and industrial
  researchers working on topics relating to software science. ETAPS,
  established in 1998, is a confederation of six main annual
  conferences, accompanied by satellite workshops. ETAPS 2015 is the
  eighteenth event in the series.
* MAIN CONFERENCES (13-17 April)
   - CC: Compiler Construction
       (PC chair Bjoern Franke, University of Edinburgh, UK)
   - ESOP: European Symposium on Programming
       (PC chair Jan Vitek, Northeastern University, USA)
   - FASE: Fundamental Approaches to Software Engineering
       (PC chairs Alexander Egyed, Johannes Kepler U Linz, Austria,
        and Ina Schaefer, Technische Universitaet Braunschweig, Germany)
   - FOSSACS: Foundations of Software Science
       and Computation Structures
       (PC chair Andrew Pitts, University of Cambridge, UK)
   - POST: Principles of Security and Trust
       (PC chairs Riccardo Focardi, Universita Ca' Foscari Venezia,
        Italy, and Andrew Myers, Cornell University, USA)
   - TACAS: Tools and Algorithms for
       the Construction and Analysis of Systems
       (PC chairs Christel Baier, Technische Univ Dresden, Germany,
        and Cesare Tinelli, The University of Iowa, USA)
  TACAS '14 will host the 4rd Competition on Software Verification (SV-COMP).
* INVITED SPEAKERS
   - Unifying speakers:
     Robert Harper (Carnegie Mellon University, USA)
     Catuscia Palamidessi (INRIA Saclay and LIX, France)
   - CC invited speaker:
     Keshav Pingali (University of Texas, USA)
   - FoSSaCS invited speaker:
     Frank Pfenning (Carnegie Mellon University, USA)
   - TACAS invited speaker:
     Wang Yi (Uppsala Universitet, Sweden)
* IMPORTANT DATES
   - 10 October 2014: Submission deadline for abstracts
   - 17 October 2014: Submission deadline for full papers
   - 3-5 December 2014: Author response period (ESOP and FoSSaCS only)
   - 19 December 2014: Notification of acceptance
   - 16 January  2015: Camera-ready versions due
* SUBMISSION INSTRUCTIONS --
  ETAPS conferences accept two types of contributions: research papers
  and tool demonstration papers. Both types will appear in the
  proceedings and have presentations during the conference.
  ESOP and FoSSaCS accept only research papers. TACAS has more paper
  categories (see http://www.etaps.org/2015/tacas).
  A condition of submission is that, if the submission is accepted, one
  of the authors attends the conference to give the presentation.
  Submitted papers must be in English presenting original
  research. They must be unpublished and not submitted for publication
  elsewhere. In particular, simultaneous submission of the same
  contribution to multiple ETAPS conferences is forbidden. The
  proceedings will be published in the Advanced Research in Computing
  and Software Science (ARCoSS) subline of Springer's Lecture Notes in
  Computer Science series.
  Papers must follow the formatting guidelines specified by Springer at
  http://www.springer.de/comp/lncs/authors.html
  and be submitted electronically in pdf through the EasyChair author
  interface of the respective conference (HotCRP for ESOP).
  Submissions not adhering to the specified format and length may be
  rejected immediately.
* Research papers
  FASE, FOSSACS and TACAS have a page limit of 15 pages for research
  papers, whereas CC, POST allow at most 20 pages and ESOP 25 pages.
  Additional material intended for the referees but not for publication
  in the final version - for example, details of proofs - may be placed
  in a clearly marked appendix that is not included in the page
  limit. ETAPS referees are at liberty to ignore appendices and papers
  must be understandable without them.
  In addition to regular research papers, TACAS solicits also case study
  papers (at most 15 pages).
  Both TACAS and FASE solicit also regular tool papers (at most 15
  pages).
* Tool demonstration papers
  Submissions should consist of two parts:
  - The first part, at most 4 pages, should describe the tool
    presented. Please include the URL of the tool (if available) and
    provide information that illustrates the maturity and robustness of
    the tool. (This part will be included in the proceedings.)
  - The second part, at most 6 pages, should explain how the
    demonstration will be carried out and what it will show, including
    screen dumps and examples. (This part will be not be included in the
    proceedings, but will be evaluated.
  ESOP and FOSSACS do not accept tool demonstration papers.
  TACAS has a page limit of 6 pages for tool demonstrations.
* SATELLITE EVENTS (11-12 April, 18 April)
  Around 20 satellite workshops will take place before and after the
  main conferences.
* HOST CITY
  London, the capital city of England and the UK, is a leading global
  city, with strengths in the arts, commerce, education, entertainment,
  fashion, finance, healthcare, media, professional services, research
  and development, tourism and transport all contributing to its
  prominence. It is one of the world's leading financial centers and a
  world cultural capital. It is the world's most-visited city as
  measured by international arrivals and has the world's largest city
  airport system measured by passenger traffic. In 2012, London became
  the first city to host the modern Summer Olympic Games three times.
* HOST INSTITUTION
  ETAPS 2015 is hosted by the School of Electrical Engineering and
  Computer Science of the Queen Mary University of London.
  The main campus is located in the Mile End area of the East End of
  London.
* ORGANIZERS
  - General chairs: Pasquale Malacaria, Nikos Tzevelekos
  - Workshops chair: Paulo Oliva
* FURTHER INFORMATION
  Please do not hesitate to contact the organizers at
  p.malacaria@qmul.ac.uk, nikos.tzevelekos@qmul.ac.uk.



EDBT/ICDT 2015
  Call for Tutorials
  March 23-27, 2015 - Brussels, Belgium
  http://edbticdt2015.be/index.php/edbt-icdt-call-for-tutorials
* The EDBT series of conferences is an established and prestigious forum
  for the exchange of the latest research results in data management.
  The series of ICDT conferences provides an international forum for the
  communication of research advances on the theoretical foundations of
  database systems.
* We solicit proposals for tutorials for presentation at the EDBT/ICDT
  joint conference. Proposals must provide an in-depth survey of the
  chosen area with the option of describing some particular pieces of work in
  detail.  Proposals must be no more than four pages, in the ACM
  double-column format used for EDBT/ICDT submissions, and must include
  enough details to provide a sense of both the scope of material to be
  covered and the depth to which it will be covered.
* Important dates:
  Submission of proposals for tutorials: 7 November 2014
  Notification to authors: 12 December 2014
  Conference: March 23-27, 2015
* Please submit your proposals (in PDF) via e-mail to the Tutorial Chair,
  Pablo Barcelo  pbarcelo@dcc.uchile.cl



7TH NASA FORMAL METHODS SYMPOSIUM (NFM 2015)
  Call for Papers
  27-29 April 2015
  Pasadena, California, USA
  http://www.NASAFormalMethods.org/nfm2015
* THEME
  The widespread use and increasing complexity of mission- and safety-critical
  systems require advanced techniques that address their specification,
  verification, validation, and certification. The NASA Formal Methods
  Symposium is a forum for theoreticians and practitioners from academia,
  industry, and government, with the goals of identifying challenges and
  providing solutions to achieving assurance in mission- and safety-critical
  systems. Within NASA such systems include for example autonomous robots,
  separation assurance algorithms for aircraft, Next Generation Air
  Transportation (NextGen), and autonomous rendezvous and docking for
  spacecraft. Moreover, emerging paradigms such as property-based design,
  code generation, and safety cases are bringing with them new challenges
  and opportunities. The focus of the symposium will be on formal techniques,
  their theory, current capabilities, and limitations, as well as their
  application to aerospace, robotics, and other mission- and safety-critical
  systems in all design life-cycle stages. We encourage submissions on
  cross-cutting approaches marrying formal verification techniques with
  advances in critical system development, such as requirements generation,
  analysis of aerospace operational concepts, and formal methods integrated
  in early design stages and carrying throughout system development.
* TOPICS
  Topics of interest include, but are not limited to: Model checking, Theorem
  proving, SAT and SMT solving, Symbolic execution, Static analysis, Runtime
  verification, Program refinement, Compositional verification, Modeling and
  specification formalisms, Model-based development, Model-based testing,
  Requirement engineering, Formal approaches to fault tolerance, Security and
  intrusion detection, Applications of formal methods to aerospace systems,
  Applications of formal methods to cyber-physical systems, Applications of
  formal methods to human-machine interaction analysis
* IMPORTANT DATES
  Paper Submission: 10 Nov 2014
  Paper Notifications: 12 Jan 2015
  Camera-ready Papers: 9 Feb 2015
  Symposium: 27-29 April 2015
* LOCATION AND COST
  The symposium will take place at the Hilton Hotel, Pasadena, California,
  USA, April 27-29, 2015. There will be no registration fee for participants.
  All interested individuals, including non-US citizens, are welcome to submit,
  to attend, to listen to the talks, and to participate in discussions;
  however, all attendees must register.
* SUBMISSION DETAILS
  There are two categories of submissions:
  Regular papers describing fully developed work and complete results (15 pages)
  Short papers describing tools, experience reports, or descriptions of work
  in progress with preliminary results (6 pages) All papers should be in English
  and describe original work that has not been published or submitted elsewhere.
  All submissions will be fully reviewed by members of the Programme Committee.
  Papers will appear in a volume of Springer's Lecture Notes on Computer
  Science (LNCS), and must use LNCS style formatting. Papers should be
  submitted in PDF format.
* PC CHAIRS
  Klaus Havelund, NASA Jet Propulsion Laboratory
  Gerard Holzmann, NASA Jet Propulsion Laboratory
  Rajeev Joshi, NASA Jet Propulsion Laboratory



30TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2015)
  Call for Papers
  July 6-10, 2015
  Kyoto, Japan
  http://lics.rwth-aachen.de/lics15/
  (colocated with ICALP 2015)
* AIMS
  The LICS Symposium is an annual international forum on theoretical and
  practical topics in computer science that relate to logic, broadly construed.
  We invite submissions on topics that fit under that rubric. Suggested,
  but not exclusive, topics of interest include: automata theory, automated
  deduction, categorical models and logics, concurrency and distributed
  computation, constraint programming, constructive mathematics, database
  theory, decision procedures, description logics, domain theory, finite model
  theory, formal aspects of program analysis, formal methods, foundations of
  computability, higher-order logic, lambda and combinatory calculi, linear
  logic, logic in artificial intelligence, logic programming, logical aspects
  of bioinformatics, logical aspects of computational complexity, logical
  aspects of quantum computation, logical frameworks, logics of programs,
  modal and temporal logics, model checking, probabilistic systems, process
  calculi, programming language semantics, proof theory, real-time systems,
  reasoning about security and privacy, rewriting, type systems and type theory,
  and verification.
* INSTRUCTIONS
  Authors are required to submit a paper title and a short abstract of about
  100 words in advance of submitting the extended abstract of the paper.
  The exact deadline time on these dates is given by anywhere on earth (AoE).
  - Title and Short Abstracts Due: January 12, 2015
  - Extended Abstracts Due: January 19, 2015
  - Author Feedback/Rebuttal Period: March 12-16, 2015
  - Author Notification: March 30, 2015
  - Final Versions Due for Proceedings: April 27, 2015
  Deadlines are firm; late submissions will not be considered. All submissions
  will be electronic via https://www.easychair.org/conferences/?conf=lics2015.
  Every extended abstract must be submitted in the IEEE Proceedings 2-column
  10pt format and may not be longer than 12 pages, including references.
  LaTeX style files are available from the website.
* CONFERENCE CHAIR
  Masahito Hasegawa, RIMS, Kyoto U.
* PROGRAM COMMITTEE CHAIR
  Catuscia Palamidessi, INRIA & E. Polytechnique
* WORKSHOP CHAIR
  Patricia Bouyer-Decitre, CNRS & ENS Cachan
* GENERAL CHAIR
  Luke Ong, U. Oxford
* SHORT PRESENTATIONS
  A session of short presentations, intended for descriptions of student
  research, works in progress, and other brief communications, is planned.
  These abstracts will not be published. Dates and guidelines will be posted
  on the conference website.
* KLEENE AWARD FOR BEST STUDENT PAPER
  An award in honor of the late Stephen C. Kleene will be given for the best
  student paper(s), as judged by the program committee.
* SPECIAL ISSUES
  Full versions of up to three accepted papers, to be selected by the program
  committee, will be invited for submission to the Journal of the ACM.
  Additional selected papers will be invited to a special issue of Logical
  Methods in Computer Science.
* SPONSORSHIP
  The symposium is sponsored by ACM SIGLOG and the IEEE Technical Committee
  on Mathematical Foundations of Computing, in cooperation with the Association
  for Symbolic Logic and the European Association for Theoretical Computer Science.



4TH INTERNATIONAL CONFERENCE ON TOOLS FOR TEACHING LOGIC (TTL 2015)
  Call for Papers
  June 1-4, 2015, Rennes, France
  http://ttl2015.irisa.fr/
* TOPICS
  Topics that fit the interests of Tools for Teaching Logic include
  (but are not limited to): teaching logic in sciences and humanities;
  teaching logic at different levels of instruction (secondary education,
  university level, and postgraduate); didactic software; facing some
  difficulties concerning what to teach; international postgraduate
  programs; resources and challenges for e-Learning Logic; teaching
  Argumentation Theory, Critical Thinking and Informal Logic; teaching
  specific topics, such as modal logic, computability and logic, and
  others; dissemination of logic courseware and logic textbooks;
  teaching Logic Thinking.
* IMPORTANT DATES
  Paper submission: 18 Jan 2015;
  Notification: 1 Mar 2015;
  Final camera-ready due: 29 Mar 2015.



13TH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING AND NON-MONOTONIC REASONING (LPNMR 2015)
  Preliminary Call for Papers
  Lexington, KY, USA
  September 27-30, 2015
  http://lpnmr2015.mat.unical.it/
  (Collocated with the 4th Conference on Algorithmic Decision Theory 2015)
* AIMS AND SCOPE
  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 aim of the conference is to facilitate
  interactions between researchers and practitioners interested in the
  design and implementation of logic-based programming languages and
  database systems, and those working in knowledge representation and
  nonmonotonic reasoning. LPNMR strives to encompass theoretical and
  experimental studies that have led or will lead to the construction of
  systems for declarative programming and knowledge representation, as well
  as their use in practical applications. This edition of LPNMR will 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.
  Authors are invited to submit papers presenting original and unpublished
  research on all aspects of non-monotonic approaches in logic programming
  and knowledge representation. We invite submissions of both long and
  short papers.
* TOPICS
  Conference topics include, but are not limited to:
  1. Foundations of LPNMR Systems
  2. Implementation of LPNMR systems
  3. Applications of LPNMR
* SUBMISSION
  LPNMR 2015 welcomes submissions of long papers (13 pages) or short papers
  (6 pages) in the following categories:
  - Technical papers
  - System descriptions
  - Application descriptions
  The indicated number of pages includes title page, references and
  figures. All submissions will be peer-reviewed and accepted papers will
  appear in the conference proceedings published in the Springer-Verlag
  Lecture Notes in Artificial Intelligence (LNAI/LNCS) series. At least one
  author of each accepted paper is expected to register for the conference
  to present the work.
  The Program Committee chairs are planning to arrange for the best papers to
  be published in a special issue of a premiere journal in the field.
  LPNMR 2015 will not accept any paper which, at the time of submission, is
  under review or has already been published or accepted for publication in
  a journal or another conference. Authors are also required not to submit
  their papers elsewhere during LPNMR's review period. However, these
  restrictions do not apply to previous workshops with a limited audience
  and without archival proceedings.
* ASSOCIATED WORKSHOPS
  LPNMR 2015 will include specialized workshops to be held on September 27
  prior to the main conference. Currently planned workshops include:
  - Grounding, Transforming, and Modularizing Theories with Variables
    Organizers: Marc Denecker, Tomi Janhunen
  - Action Languages, Process Modeling, and Policy Reasoning
    Organizer: Joohyung Lee
  - Natural Language Processing and Automated Reasoning
    Organizers: Marcello Balduccini, Ekaterina Ovchinnikova, Peter Schueller
  - Learning and Nonmonotonic Reasoning
    Organizers: Alessandra Russo and Alessandra Mileo
* IMPORTANT DATES (TENTATIVE)
  - Paper registration: April 13, 2015
  - Paper submission:   April 20, 2015
  - Notification:       June 1, 2015
  - Final versions due: June 15, 2015
* VENUE
  Lexington is a medium size, pleasant and quiet university town. It
  is located in the heart of the so-called Bluegrass Region in
  Central Kentucky. The city is surrounded by beautiful horse farms
  on green pastures dotted with ponds and traditional architecture
  stables, and small race tracks, and bordered by white or black
  fences. The Horse Museum is as beautifully located as it is
  interesting. Overall, the city has a nice feel that mixes well old
  and new. The conference will be held in the Hilton Lexington
  Downtown hotel.
* 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
* PUBLICITY CHAIR
  Francesco Calimeri, University of Calabria, Italy
* CONTACT
  lpnmr2015@mat.unical.it



FUNDED PHD POSITIONS IN DYNAMIC ADAPTIVE AUTOMATED SOFTWARE ENGINEERING (DAASE)
  http://www.stir.ac.uk/postgraduate/research-degrees/school-of-natural-sciences/
* DAASE is a four site project funded by the Engineering and Physical Sciences
  Research Council involving University College London, Birmingham, Stirling
  and York and with a growing list of industrial partners, including: Berner
  and Mattner, BT Laboratories, Ericsson, GCHQ, Honda Research Institute
  Europe,IBM,Microsoft Research and Motorola UK.
* The project seeks to use Search Based Software Engineering to develop
  optimised software development processes, combining aspects of software
  engineering activities into a single combined and optimising process.
  This new form of software engineering will be supported by the development
  and evaluation of theory, algorithms and methods for advanced exact,
  metaheuristic and hyper-heuristic techniques. The goal is to produce
  software that is dynamically adaptive; not only able to respond to and fix
  problems that arise before deployment and during operation, but that
  continually optimises, re-configures and evolves to adapt to new operating
  conditions, platforms and environmental challenges (as most broadly
  construed). DAASE will create an array of new processes, methods, techniques
  and tools for a new kind of software engineering, radically transforming
  the theory and practice of software engineering.
* DAASE is a highly collaborative project. PhD students working on the project
  will have at least one other "buddy partner site" (one of the four academic
  partners specifically designated to collaborate) with which they will
  collaborate, supported by visits to the partner site (of one to four weeks
  duration), the full expenses of which will be met by the project. PhDs will
  also have opportunities to visit and collaborate with industrial and other
  partners and to be fully engaged with the international community through
  conferences, workshops and other networking activities. This will enhance
  training and development and open new opportunities for collaboration and
  intellectual development. A total of four studentships are available.
* Contact John R. Woodward jrw@cs.stir.ac.uk http://www.cs.stir.ac.uk/~jrw/
* Studentships will provide funding for tuition fees, a stipend of GBP 13,590 per
  annum plus Research Training Support Grant of GBP 750 pa. Formal applications
  should be made via the online PG application form at
  http://www.stir.ac.uk/postgraduate/research-degrees/school-of-natural-sciences/
  Click the "apply now" button at the top right of the page. Select 'Research
  Degree in Computing Science' and 'register as a new user' on the system to
  proceed to the application form.



TWO PHD POSITIONS IN INFORMATION SECURITY AT ETH ZURICH, SWITZERLAND
  http://www.infsec.ethz.ch/news/positions
* The Information Security group headed by Prof. David Basin at ETH
  Zurich has two open PhD positions in two projects:
  (1) Formalizing computational soundness for protocol implementations
  (2) Testing access control systems
* We are looking for enthusiastic outstanding researchers with a strong
  background and interest in one or more of the following areas:
  - formal methods or mathematical logic,
  - information security or cryptography,
  - (project 1) interactive theorem proving
    (project 2) software testing.
  Candidates with a strong theoretical background in related areas are
  also encouraged to apply. ETH Zurich regulations require PhD
  candidates to hold a Masters or equivalent degree (e.g. Diplom). The
  preferred starting date for both positions is as soon as possible, at
  the latest by the end of 2014.
* Contact: Andreas Lochbihler and Mohammad Torabi Dashti
  infsec.positions@inf.ethz.ch



NEW DOCTORAL PROGRAM ON LOGICAL METHODS IN COMPUTER SCIENCE (LogiCS)
  http://logic-cs.at/phd
* Funded Doctoral Positions in Computer Science
* TU Wien, TU Graz, and JKU Linz are seeking exceptionally talented and
  motivated students for their joint doctoral program LogiCS. The LogiCS
  doctoral college focuses on interdisciplinary research topics covering
  (i) computational logic, and applications of logic to
  (ii) databases and artificial intelligence as well as to
  (iii) computer-aided verification.
* THE PROGRAM
  LogiCS is a doctoral college focusing on logic and its applications in
  computer science. Successful applicants will work with and be
  supervised by leading researchers in the fields of computational
  logic, databases and knowledge representation, and computer-aided
  verification.
* FACULTY MEMBERS
  M. Baaz     A. Biere  R. Bloem         A. Ciabattoni
  U. Egly     T. Eiter  C. Fermueller    R. Grosu
  A. Leitsch  M. Ortiz  R. Pichler       S. Szeider
  H. Tompits  H. Veith  G. Weissenbacher
* POSITIONS AND FUNDING
  We are looking for 1-2 doctoral students per faculty member, where 30%
  of the positions are reserved for highly qualified female
  candidates. The doctoral positions are funded for a period of 3 years
  according to the funding scheme of the Austrian Science Fund
  (details: http://www.fwf.ac.at/de/projects/personalkostensaetze.html)
  The funding can be extended for one additional year contingent on a
  placement at one of our international partner institutions.
* HOW TO APPLY
  Detailed information about the application process is available on the
  LogiCS web-page http://logic-cs.at/phd/
  The applicants are expected to have completed an excellent diploma or
  master's degree in computer science, mathematics, or a related
  field. Candidates with comparable achievements will be considered on a
  case-by-case basis. Applications by the candidates need to be
  submitted electronically.
* Applications can be submitted at any time. Next screening: December 1, 2014.
* HIGHEST QUALITY OF LIFE
  The Austrian cities Vienna, Graz, and Linz, located close to the Alps
  and surrounded by beautiful nature, provide an exceptionally high
  quality of life, with a vibrant cultural scene, numerous cultural
  events, world-famous historical sites, a large international
  community, a varied cuisine and famous coffee houses.
* For further information please contact: info@logic-cs.at



LOGIC, COMPUTATION, HIERARCHIES (FESTSCHRIFT IN HONOUR OF VICTOR L. SELIVANOV)
  http://www.degruyter.com/view/product/429641?rskey=gsPvAq&result=9
* V. Brattka, H. Diener, D. Spreen (eds.), Logic, Computation, Hierarchies
  (Festschrift in honour of Victor L. Selivanov), DeGruyter, Berlin, Boston,
  2014, x + 414. See the URL for further details.




Back to the LICS web page.