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 firstname.lastname@example.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 email@example.com, firstname.lastname@example.org. 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 email@example.com 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 firstname.lastname@example.org 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 email@example.com 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 firstname.lastname@example.org 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: email@example.com 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.