Newsletter 163
October 1, 2014
*******************************************************************
* 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
* 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.siglog.org/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.siglog.org/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.siglog.org/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.siglog.org/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.