SIGLOG Monthly 201 October 19, 2018 ******************************************************************* * 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 * NEWS LICS 2019 - Call for Papers LICS 2019 Call for Workshop Proposals WINNERS OF THE 2018 ALONZO CHURCH AWARD ACM SIGLOG Announcement EATCS Bulletin - Call for abstracts * DEADLINES Forthcoming Deadlines * CALLS FSEN 2019 - Third Call for Papers ETAPS 2019 - Joint Call for Papers HELMUT VEITH STIPEND - Call for Applications FM'19 - Call for Workshop and Tutorial Proposals SPECIAL ISSUE OF AIJ ON EPISTEMIC PLANNING - Call for Papers JELIA 2019 - First Call for Papers NLPinAI 2019 - Call for papers CiE 2019 - First Call for Papers FSCD 2019 - First Call for Papers EPIT 2019 - Announcement TACL 2019 - Early announcement CATEGORY THEORY 2019 - Early announcement RSSRail 2019 - Call for Papers FM 2019 - First Call for Papers * JOB ANNOUNCEMENTS PHD STUDENT POSITION IN DATABASE THEORY AND LOGIC AI*IA INCOMING AND OUTGOING MOBILITY GRANTS 2018 - CALL FOR RESEARCH VISITS POSTDOCTORAL RESEARCHER IN LOGIC, MILAN 34TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2019) Call for Papers 24-27 June 2019, Vancouver https://lics.siglog.org/lics19/ Full Papers Due: 11 January 2019 * SCOPE 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, games and logic, 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. * IMPORTANT DATES 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). Titles and Short Abstracts Due: 4 January 2019 Full Papers Due: 11 January 2019 Author Feedback/Rebuttal Period: 4-8 March 2019 Author Notification: 29 March 2019 * KLEENE AWARD FOR BEST STUDENT PAPER: An award in honour 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. 34TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2019) Call for Workshop Proposals https://lics.siglog.org/lics19/ * The Thirty-Fourth Annual ACM/IEEE Symposium on Logic In Computer Science (LICS'19) will be held in Vancouver, Canada on June 24-27, 2019. The workshops will take place on June 22-23, 2019. * Researchers and practitioners are invited to submit proposals for workshops on topics relating logic - broadly construed - to computer science or related fields. Typically, LICS workshops feature a number of invited speakers and a number of contributed presentations. LICS workshops do not usually produce formal proceedings. However, in the past there have been special issues of journals based in part on certain LICS workshops. * Proposals should include: - A short scientific summary and justification of the proposed topic. This should include a discussion of the particular benefits of the topic to the LICS community. - A discussion of the proposed format and agenda. - The proposed duration, which is typically one day (two-day workshops can be accommodated too). - Procedures for selecting participants and papers. - Expected number of participants. This is important for the room! - Potential invited speakers. - Plans for dissemination (for example, special issues of journals). Proposals should be sent to Frédéric Blanqui: frederic.blanqui@inria.fr * IMPORTANT DATES Workshop Proposal Submission deadline: November 15, 2018 Notification: December 1, 2018 Program of the workshops ready: May 19, 2019 Workshops: June 22-23, 2019 LICS conference: June 24-27, 2019 * The workshops selection committee consists of the LICS General Chair, LICS Workshops Chair, LICS 2019 PC Chair and LICS 2019 Conference Chairs. WINNERS OF THE 2018 ALONZO CHURCH AWARD * The 2018 Alonzo Church Award for Outstanding Contributions to Logic and Computation is given jointly to Tomas Feder and Moshe Y. Vardi for fundamental contributions to the computational complexity of constraint-satisfaction problems. Their contributions appeared in two papers: 1. Tomas Feder, Moshe Y. Vardi: Monotone Monadic SNP and Constraint Satisfaction. STOC 1993, 612-622. 2. Tomas Feder, Moshe Y. Vardi: The Computational Structure of Monotone Monadic SNP and Constraint Satisfaction: A Study through Datalog and Group Theory. SIAM J. Comput. 28(1), 57-104 (1998). * CONTRIBUTION SUMMARY: The Feder-Vardi project aimed at finding a large subclass of NP that exhibits a dichotomy (all problems are either in PTIME or NP-complete). The approach is to find this subclass via syntactic prescriptions. The paper identified a class of problems specified by "monotone monadic SNP without inequality", which may exhibit this dichotomy. Feder and Vardi justified placing all three restrictions by showing, using Ladner's theorem, that classes obtained by using only two of the above three restrictions do not show this dichotomy. They then explored the structure of this class. They show that all problems in this class reduce to the seemingly simpler class CSP -- Constraint Satisfaction Problems. They divided CSP into subclasses and tried to unify the collection of all known polytime algorithms for CSP problems and extract properties that make CSP problems NP-hard. They conjectured that the class CSP (and therefore, also MMSNP) also satisfy the dichotomy property. This became known as the Feder-Vardi Dichotomy Conjecture. The Dichotomy Conjecture stimulated an extensive research program, which culminated in 2017 in two independent proofs, by A. Bulatov and by D. Zhuk, of its correctness. ACM SIGLOG ANNOUNCEMENT http://siglog.acm.org * The ACM has recently chartered a Special Interest Group on Logic and Computation (ACM SIGLOG). * We are pleased to announce the 2016 ACM SIGLOG election results for the term of 1 July 2016 - 30 June 2019. The SIGLOG Chair is Prakash Panangaden and the other officers are Luke Ong (vice-Chair), Amy Felty (Treasurer) and Alexandra Silva (Secretary). * The ACM-IEEE Symposium on Logic in Computer Science is the flagship conference of SIGLOG. SIGLOG will also actively seek association agreements with other conferences in the field. A SIGLOG newsletter (SIGLOG News) is also published quarterly in an electronic format with community news, technical columns, members' feedback, conference reports, book reviews and other items of interest to the community. * One can join SIGLOG by visiting https://campus.acm.org/public/qj/gensigqj/siglist/gensigqj_siglist.cfm It is possible to join SIGLOG without joining ACM (the SIGLOG membership fee is $25 and $15 for students). EATCS Bulletin - Call for abstracts * EATCS Bulletin, http://eatcs.org/index.php/eatcs-bulletin, has a section for "Technical contributions." To stimulate this section further, we have recently started publication abstracts of works that have been accepted by journals and/or conferences or have appeared in major archives. The topics of interest include all areas of theoretical computer science (for instance, see topics of the three Tracks of ICALP, http://www.easyconferences.eu/icalp2016/cfp.html). * Abstracts should be rather detailed, 2-3 pages long in the format given at http://eatcs.org/index.php/eatcs-bulletin. Submissions should include the information on the full paper (the name of conferences, archives, etc) and sufficiently detailed explanation of its merits, e.g., importance, motivations, clear comparison with existing results and novelty and/or new ideas of proof techniques. * The Bulletin is published in Feb, Jun and Oct. The deadline for the abstract submission is 15th of the previous month, for instance, Jan 15, 2018 for the Feb issue of 2018. All materials including tex and pdf files should be sent electrically to bulletin@eatcs.org and iwama@kuis.kyoto-u.ac.jp. Acceptance/rejection, decided based on its merit mentioned above, will be notified as soon as possible. The Bulletin will not require copy-right transfer for accepted abstracts. DATES * FSEN 2019 Third Call for Papers http://fsen.ir/2019 Tehran, Iran, May 1-3, 2019 IFIP Supported Event (IFIP WG 2.2 and IFIP TC2) http://www.ifip.org/ Paper Submission: October 28, 2018 (AoE) * ETAPS 2019 Joint Call for Papers http://etaps.org/2019/call-for-papers Prague, Czech Republic, 6-11 April 2019 Abstracts due: 9 November 2018 23:59 AoE Papers due: 16 November 2018 23:59 AoE * HELMUT VEITH STIPEND Call for Applications For female MSc students in CS TU Wien Deadline: November 30, 2018. * FM'19 Call for Workshop and Tutorial Proposals Porto, Portugal, October 7-11, 2019 formalmethods2019.inesctec.pt Deadline for proposals: November 16, 2018 Notification of decision on workshops and tutorials: November 23, 2018 * SPECIAL ISSUE OF AIJ ON EPISTEMIC PLANNING Call for Papers Submission deadline: December 1, 2018 * JELIA 2019 First Call for Papers Rende, Italy, May 8-10, 2019 https://jelia2019.mat.unical.it/ Paper submission deadline: 03 December 2018 (23:59 UTC-12) * NLPinAI 2019 Call for papers 19 - 21 February, 2019, Prague, Czech Republic http://www.icaart.org/NLPinAI.aspx Paper Submission: December 20, 2018 * CiE 2019 First Call for Papers Durham, United Kingdom July 15 - July 19, 2019 https://community.dur.ac.uk/cie.2019/ http://www.computability.org.uk Deadline for article submission: 14 January 2019 AOE * FSCD 2019 First Call for Papers 24 - 30 June 2019, Dortmund, Germany http://fscd-conference.org/ Full Papers Deadline: 11 February 2019 * EPIT 2019 Announcement April 8-12, 2019, CIRM, Marseille Luminy, France Webpage of the event : https://conferences.cirm-math.fr/1934.html * TACL 2019 Early announcement Conference: June 17 - 21, 2019 in Nice School: June 10 - 15, 2019 in Île de Porquerolles https://math.unice.fr/tacl/2019/ * CATEGORY THEORY 2019 (CT 2019) Early announcement University Of Edinburgh, 7-13 JULY 2019 http://conferences.inf.ed.ac.uk/ct2019/ * RSSRail 2019 Call for Papers June 4-6, 2019, Lille, France https://conferences.ncl.ac.uk/rssrail2019/ abstract submission deadline: January 5, 2019 * FM 2019 First Call for Papers Porto, Portugal, October 7-11, 2019 http://formalmethods2019.inesctec.pt/ Full paper submission: 11 April, 2019, 23:59 AoE EIGHTH INTERNATIONAL CONFERENCE ON FUNDAMENTALS OF SOFTWARE ENGINEERING 2019 - THEORY AND PRACTICE (FSEN '19) Third Call for Papers http://fsen.ir/2019 Tehran, Iran, May 1-3, 2019 IFIP Supported Event (IFIP WG 2.2 and IFIP TC2) http://www.ifip.org/ * The topics of interest cover all aspects of formal methods, especially those related to advancing the application of formal methods in the software industry and promoting their integration with practical engineering techniques. * IMPORTANT DATES Abstract Submission (optional): October 19, 2018 (AoE) Paper Submission: October 28, 2018 (AoE) Notification: December 18, 2018 Final pre-Conference Version: January 20, 2019 (AoE) Conference: May 1-3, 2019 * KEYNOTE SPEAKERS Rocco De Nicola, IMT School for Advanced Studies Lucca, Italy Giovanna Di Marzo Serugendo, University of Geneva, Switzerland Martin Wirsing, LMU Munich, Germany * PROGRAM CHAIRS Hossein Hojjat - Rochester Institute of Technology, USA Mieke Massink - CNR-ISTI Pisa, Italy 22ND EUROPEAN JOINT CONFERENCES ON THEORY AND PRACTICE OF SOFTWARE (ETAPS 2019) Joint Call for Papers http://www.etaps.org/2019 Prague, Czech Republic, 6-11 April 2019 * 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 five main annual conferences, accompanied by satellite workshops. ETAPS 2019 is the twenty-second event in the series. * MAIN CONFERENCES ESOP: European Symposium on Programming FASE: Fundamental Approaches to Software Engineering FoSSaCS: Foundations of Software Science and Computation Structures POST: Principles of Security and Trust TACAS: Tools and Algorithms for the Construction and Analysis of Systems In addition, TACAS '19 hosts the 8th Competition on Software Verification (SV-COMP). * INVITED SPEAKERS Unifying speakers: Marscha Chechik (University of Toronto, Canada) Kathleen Fisher (Tufts University, USA) FoSSaCS invited speaker: Thomas Colcombet (IRIF, France) TACAS invited speaker: Cormac Flanagan (University of California at Santa Cruz, USA) * IMPORTANT DATES Abstracts due: 9 November 2018 23:59 AoE Papers due: 16 November 2018 23:59 AoE Rebuttal (ESOP, FoSSaCS, POST): 11 - 14 January 2019 Notification: 25 January 2019 Camera-ready versions due: 15 February 2019 * SUBMISSION INSTRUCTIONS ETAPS conferences solicit contributions of two types: research papers and tool demonstration papers. ESOP and FoSSaCS accept only research papers. FASE, POST and TACAS have multiple types of research papers, see below. All accepted papers will appear in the proceedings and have presentations during the conference. A condition of submission is that, if the submission is accepted, one of the authors attends the conference to give the presentation. See http://etaps.org/2019/call-for-papers for more details. * OPEN ACCESS Like ETAPS 2018, the proceedings of ETAPS 2019 will be published in gold open access. The copyright of the papers will remain with the authors. 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. The publisher's charges for gold open access will be paid by the conference (funded with the participation fees of all participants). There will be no added cost for authors specifically. * SATELLITE EVENTS (6-7 April) A number of satellite workshops will take place before the main conferences: BEHAPI, CREST, DICE-FOPARA, GaLoP, HCVS, HSB, InterAVT, LiVe, MeTRiD, PERR, PLACES, QAPL, SPIoT. * ORGANIZERS Jan Kofron and Jan Vitek (general chairs), Barbora Buhnova, Milan Ceska, Ryan Culpepper, Vojtech Horky, Paley Li, Petr Maj, Artem Pelenitsyn, David Safranek HELMUT VEITH STIPEND FOR FEMALE MASTER'S STUDENTS IN COMPUTER SCIENCE Call for Applications TU Wien * Female students in the field of computer science (CS) who plan to pursue (or are currently pursuing) one of the master's programs in Computer Science at the Vienna University of Technology - TU Wien taught in English are invited to apply for the annually awarded Helmut Veith Stipend. The computer science department at Vienna University of Technology - TU Wien, has been ranked among the 70 world's best (THE Times Higher Education Ranking). * The annually awarded Helmut Veith Stipend for female master students is dedicated to the memory of an outstanding computer scientist who worked in the fields of logic in computer science, computer-aided verification, software engineering, and computer security - Professor Helmut Veith (1971-2016). * The Helmut Veith Stipend was established with generous support of TU Wien, Wolfgang Pauli Institute and with contributions by family and friends of the late Helmut Veith. * APPLICATION Applications for funding can be filed before or in parallel with the admissions process. Your application must be submitted electronically to master@logic-cs.at as a single PDF document, by November 30, 2018. * IMPORTANT DATES Deadline: November 30, 2018. * INQUIRES: Electronically to master@logic-cs.at * WEBSITE http://www.vcla.at/2018/05/call-for-applications-helmut-veith-stipend-for-female-masters-students-in-computer-science 3rd WORLD CONGRESS ON FORMAL METHODS (FM'19) Call for Workshop and Tutorial Proposals Porto, Portugal, October 7-11, 2019 http://formalmethods2019.inesctec.pt/ * FM 2019 is the 23rd international symposium in a series organised by Formal Methods Europe (FME), an independent association whose aim is to stimulate the use of, and research on, formal methods for software development. Every ten years the symposium is organised as a World Congress. For this major event, we are now inviting proposals for workshops, tutorials, or other satellite events that will complement the main FM Symposium and co-located conferences. * SUBMISSION INFORMATION Researchers and practitioners wishing to organise a workshop or tutorial are invited to submit proposals by e-mail to the Workshops and Tutorials Chairs, Nelma Moreira (nam@dcc.fc.up.pt) Emil Sekerinski (emil@mcmaster.ca) For further information please visit http://formalmethods2019.inesctec.pt/ * IMPORTANT DATES Submission of proposals: November 16, 2018 Notification of success of proposals: November 23, 2018 Notification of paper acceptance (if applicable): June 14, 2019 (limit date) FM'19 World Congress: October 7-11, 2019 Workshop/Tutorial dates: October 7-8, 2019 (also October 9-11 if space is an issue) SPECIAL ISSUE OF THE ARTIFICIAL INTELLIGENCE JOURNAL (AIJ) ON EPISTEMIC PLANNING * Theme and topics https://www.journals.elsevier.com/artificial-intelligence/call-for-papers/special-issue-on-epistemic-planning * Fast publication: Reviewing of submitted articles begins immediately after submission, with first decisions (accept, reject, revisions) made within three months. Accepted articles will be published immediately online on the AIJ website and will also be included in the special issue. * IMPORTANT DATES Submission deadline: December 1, 2018 Notification: within 3 months of submission * SPECIAL ISSUE EDITORS Vaishak Belle, University of Edinburgh Thomas Bolander, Technical University of Denmark Andreas Herzig, CNRS, IRIT Toulouse Bernhard Nebel, Albert-Ludwigs-Universität Freiburg 16TH EUROPEAN CONFERENCE ON LOGICS IN ARTIFICIAL INTELLIGENCE (JELIA 2019) First Call for Papers Rende, Italy, May 8-10, 2019 https://jelia2019.mat.unical.it/ * The aim of JELIA 2019 is to bring together active researchers interested in all aspects concerning the use of logics in Artificial Intelligence to discuss current research, results, problems, and applications of both theoretical and practical nature. Further information on relevant topics and awards is available at https://jelia2019.mat.unical.it/ * IMPORTANT DATES Abstract submission deadline 26 November 2018 (23:59 UTC-12) Paper submission 03 December 2018 (23:59 UTC-12) Notification of acceptance 16 January 2019 Best paper notification 31 January 2019 Camera-ready due 28 February 2019 Online registration opens 01 March 2019 Conference start 08 May 2019 * ENQUIRIES Please send all enquiries at the email address jelia2019@mat.unical.it * GENERAL CHAIR Nicola Leone (University of Calabria) * PROGRAM CHAIRS Francesco Calimeri (University of Calabria) Marco Manna (University of Calabria) NATURAL LANGUAGE PROCESSING IN ARTIFICIAL INTELLIGENCE (NLPinAI 2019) Call for papers 19 - 21 February, 2019, Prague, Czech Republic http://www.icaart.org/NLPinAI.aspx * Special Session within the 11th International Conference on Agents and Artificial Intelligence - ICAART 2019 http://www.icaart.org * IMPORTANT DATES: Paper Submission: December 20, 2018 Authors Notification: January 7, 2019 Camera Ready and Registration: January 15, 2019 * CHAIRS: Roussanka Loukanova Stockholm University, Sweden * CONTACT: Roussanka Loukanova (rloukanova@gmail.com) COMPUTABILITY IN EUROPE 2019 (CiE 2019) First Call for Papers Durham, United Kingdom July 15 - July 19, 2019 https://community.dur.ac.uk/cie.2019/ http://www.computability.org.uk * IMPORTANT DATES: Deadline for article registration (abstract submission): 7 January 2019 AOE Deadline for article submission: 14 January 2019 AOE Notification of acceptance: 18 March 2019 Final versions due: 4 April 2019 Deadline for informal presentations submission: 1 May 2019 (The notifications of acceptance for informal presentations will be sent a few days after submission.) Early registration before: 15 May 2019 * TUTORIAL SPEAKERS: Markus Holzer (JLU Giessen) Assia Mahboubi (University of Nantes) * INVITED SPEAKERS: Felipe Cucker (City University of Hong Kong) Ursula Martin (University of Oxford) Alexander Schonhuth (CWI, Amsterdam) Sonja Smets (University of Amsterdam) Linda Brown Westrick (Penn State) * SPECIAL SESSIONS: - Computational Neuroscience, orrganised by Noura Al Moubayed (Durham University) and Jason Connolly (Durham University) - History and Philosophy of Computing, organised by the Council of the HaPoC Commission - Lowness Notions in Computability, organised by Johanna Franklin (Hofstra University) and Joseph S. Miller (University of Wisconsin-Madison) - Probabilistic Programming and Higher-Order Computation, organised by Christine Tasson (Paris Diderot University) - Smoothed and Probabilistic Analysis of Algorithms, organised by Bodo Manthey (University of Twente) - Transfinite Computations, organised by Sabrina Ouazzani (Paris-Est Creteil University) * PROGRAMME CHAIRS Daniel Paulusma (Durham University, co-chair) Giuseppe Primiero (University of Milan, co-chair) * WOMEN IN COMPUTABILITY: We are very happy to announce that within the framework of the Women in Computability programme, we are able to offer some grants of up to 250 EUR for junior female researchers who want to participate in CiE 2019. Applications for this grant should be sent to Liesbeth De Mol, liesbeth.demol@univ-lille3.fr, before 15 May 2019 and include a short cv (at most 2 pages) and contact information for an academic reference. Preference will be given to junior female researchers who are presenting a paper (including informal presentations) at CiE 2019. * Association CiE: http://www.computability.org.uk * CiE Conference Series: http://www.computability.org.uk/index.php/cie-conference-series/ FOURTH INTERNATIONAL CONFERENCE ON FORMAL STRUCTURES FOR COMPUTATION AND DEDUCTION (FSCD 2019) First Call for Papers 24 - 30 June 2019, Dortmund, Germany http://fscd-conference.org/ * IMPORTANT DATES All deadlines are midnight anywhere-on-earth (AoE); late submissions will not be considered. Titles and Short Abstracts: 8 February 2019 Full Papers: 11 February 2019 Rebuttal period: 28 March -- 1 April 2019 Authors Notification: 8 April 2019 Final version for proceedings: 22 April 2019 * FSCD covers all aspects of formal structures for computation and deduction from theoretical foundations to applications. Building on two communities, RTA (Rewriting Techniques and Applications) and TLCA (Typed Lambda Calculi and Applications), FSCD embraces their core topics and broadens their scope to closely related areas in logics, models of computation (e.g. quantum computing, probabilistic computing, homotopy type theory), semantics and verification in new challenging areas (e.g. blockchain protocols or deep learning algorithms). * PROGRAM COMMITTEE CHAIR H. Geuvers, Radboud U. Nijmegen SPRING SCHOOL ON DATABASES, LOGIC AND AUTOMATA (EPIT 2019) Announcement April 8-12, 2019, CIRM, Marseille Luminy, France Webpage of the event : https://conferences.cirm-math.fr/1934.html * EPIT (École de Printemps d'Informatique Théorique, https://epit.irif.fr/) is a French recurrent spring school in theoretical computer science, initiated by Maurice Nivat in 1973. It has since then spanned many exciting topics in foundational computer science, and has become a major event for the research community in France and beyond. The 2019 edition of the EPIT will cover the foundations of data management. It will in particular focus on the fruitful interaction between database theory, logic and automata. A detailed program can be found on the Webpage of the event. In addition, poster sessions will be organised, so that participants who are willing to, will be able to present their work. * Lectures are intended to be accessible to a wide audience. No prior knowledge of database theory will be assumed, but some familiarity with basic automata theory and logic is recommended. The EPIT 2019 Spring School is primarily addressed to PhD students and young researchers, but more senior participants are also encouraged to join. All courses will be given in English. * The school will take place at CIRM, the International Center for Mathematical Meetings (https://www.cirm-math.fr/) in Luminy, Marseille. Registration fees, including accommodation and meals at CIRM, will be as moderate as possible (details to be announced soon). * Pre-registration will soon open on the Webpage of the event. * Organisers : Amelie Gheerbrant: amelie@irif.fr Leonid Libkin: libkin@inf.ed.ac.uk Luc Segoufin: luc.segoufin@inria.fr Pierre Senellart: pierre@senellart.com Cristina Sirangelo: cristina@irif.fr TOPOLOGY, ALGEBRA AND CATEGORIES IN LOGIC (TACL 2019) Early announcement Conference: June 17 - 21, 2019 in Nice School: June 10 - 15, 2019 in Ile de Porquerolles https://math.unice.fr/tacl/2019/ * Scope: Studying logic via semantics is a well-established and very active branch of mathematical logic with many applications in computer science and elsewhere. The area is characterized by results, tools and techniques stemming from various fields, including universal algebra, topology, category theory, order, and model theory. The programme of the conference TACL 2019 will focus on three interconnecting mathematical themes central to the semantic study of logic and their applications: topological, algebraic, and categorical methods. * Invited speakers: Samson Abramsky Johan van Benthem Marcel Erné Sam van Gool Wesley Holliday Agi Kurucz Tommaso Moraschini Daniela Petrisan Hilary Priestley Boris Zilber * Lecturers at the Summer School: Maria Manuel Clementino - Category Theory Andre Joyal - Topos Theory George Metcalfe - Algebraic Methods in Proof Theory Yde Venema - Duality Theory * Important dates - Submission deadline: February 27, 2019 - Notification to authors: April 10, 2019 Book your hotel as soon as possible. Nice is a popular tourist destination and hotels fill up quickly. * Detailed information can be found on the webpage. CATEGORY THEORY 2019 (CT 2019) Early announcement University Of Edinburgh, 7-13 JULY 2019 http://conferences.inf.ed.ac.uk/ct2019/ * We are delighted to announce the Category Theory 2019 conference at University Of Edinburgh between 7-13 July 2019. * Details will follow by email and on the conference website: http://conferences.inf.ed.ac.uk/ct2019/ INTERNATIONAL CONFERENCE ON RELIABILITY, SAFETY AND SECURITY OF RAILWAY SYSTEMS: MODELLING, ANALYSIS, VERIFICATION AND CERTIFICATION (RSSRAIL 2019) Call for Papers June 4-6, 2019, Lille, France https://conferences.ncl.ac.uk/rssrail2019/ * The conference aims to bring together researchers and engineers interested in building critical railway applications and systems. This will be a working conference in which research challenges and progress will be discussed and evaluated by both researchers and engineers, focusing on their potential to be deployed in industrial settings. * Topics of particular interest include: Safety in development processes and safety management, Combined approaches to safety and security, System and software safety analysis, Formal modelling and verification techniques, System reliability, Validation according to the standards, Safety and security argumentation, Fault and intrusion modelling and analysis, Evaluation of system capacity, energy consumption, cost and their interplay, Tool and model integration, tool chains, Domain-specific languages and modelling frameworks, Model reuse for reliability, safety and security, Modelling for maintenance strategy engineering. * IMPORTANT DATES Abstract submission deadline: January 5, 2019 23RD INTERNATIONAL SYMPOSIUM ON FORMAL METHODS - 3RD WORLD CONGRESS ON FORMAL METHODS (FM 2019) First Call for Papers Porto, Portugal, October 7-11, 2019 http://formalmethods2019.inesctec.pt/ * FM 2019 is the 23rd international symposium in a series organised by Formal Methods Europe (FME), an independent association whose aim is to stimulate the use of, and research on, formal methods for software development. Every 10 years the symposium is organised as a World Congress. Twenty years after FM 1999 in Toulouse, and 10 years after FM 2009 in Eindhoven, FM 2019 is the 3rd World Congress on Formal Methods. This is reflected in a PC with members from over 40 countries. Thus, FM 2019 will be both an occasion to celebrate and a platform for enthusiastic researchers and practitioners from a diversity of backgrounds to exchange their ideas and share their experience. * IMPORTANT DATES Abstract submission: 28 March, 2019 Full paper submission: 11 April, 2019, 23:59 AoE Notification: 11 June, 2019 Camera ready: 9 July, 2019 Conference: 7-11 October, 2019 * Topics of Interest FM 2019 encourages submissions on formal methods in a wide range of domains including software, computer-based systems, systems-of-systems, cyber-physical systems, human-computer interaction, manufacturing, sustainability, energy, transport, smart cities, and healthcare. We particularly welcome papers on techniques, tools and experiences in interdisciplinary settings. We also welcome papers on experiences of formal methods in industry, and on the design and validation of formal methods tools. The broad topics of interest for FM 2019 include, but are not limited to: - Interdisciplinary formal methods: Techniques, tools and experiences demonstrating the use of formal methods in interdisciplinary settings. - Formal methods in practice: Industrial applications of formal methods, experience with formal methods in industry, tool usage reports, experiments with challenge problems. The authors are encouraged to explain how formal methods overcame problems, led to improved designs, or provided new insights. - Tools for formal methods: Advances in automated verification, model checking, and testing with formal methods, tools integration, environments for formal methods, and experimental validation of tools. The authors are encouraged to demonstrate empirically that the new tool or environment advances the state of the art. - Formal methods in software and systems engineering: Development processes with formal methods, usage guidelines for formal methods, and method integration. The authors are encouraged to evaluate process innovations with respect to qualitative or quantitative improvements. Empirical studies and evaluations are also solicited. - Theoretical foundations of formal methods: All aspects of theory related to specification, verification, refinement, and static and dynamic analysis. The authors are encouraged to explain how their results contribute to the solution of practical problems with formal methods or tools. * Best Paper Award: At the conference, the PC Chairs will present an award to the authors of the submission selected as the FM 2019 Best Paper. * General Chair José Nuno Oliveira, INESC TEC & University of Minho, PT * Program Committee Chairs Maurice ter Beek, ISTI-CNR, Pisa, IT Annabelle McIver, Macquarie University, AU PHD STUDENT POSITION IN DATABASE THEORY AND LOGIC * Database Theory and Logic * joint between LaBRI (Bordeaux, FR) and IRIF (Paris, FR) * 3 years * Link: https://quid.labri.fr/documents/phd.html * The IRIF lab in Paris and the LABRI lab in Bordeaux, France have funding for a co-supervised PhD studentship in database theory starting in 2019. The PhD topic is in the area of foundations of data management, focusing on querying inconsistent data. This PhD topic is part of a larger projet QUID (Efficient Querying for Incomplete and Inconsistent Data), funded by the French research agency ANR. The project involves researchers from two other research labs in France: Ecole Normale Superieure (Paris) and the Institut Gaspard Monge (Marne-la-Vallee). Candidates should have a strong background in theoretical computer science, preferably in automata, logic, verification, or finite model theory. Some prior knowledge of database theory and systems is also a plus. * Contact: Cristina Sirangelo - cristina@irif.fr Diego Figueira - diego.figueira@labri.fr AI*IA INCOMING AND OUTGOING MOBILITY GRANTS 2018 - CALL FOR RESEARCH VISITS * To favour mobility of young researchers the Italian Association for Artificial Intelligence (AI*IA) issues the AIxIA Incoming Mobility Grants for 2018. Applications are solicited for funding a research visit of a PhD student enrolled at a foreign University to an Italian institution and for a research visit abroad of a PhD student enrolled at an Italian University. The central aim of these long visits is to build a research bridge between researchers and to create a solid basis for long term collaborations. Moreover, the visit has to lead to a submission of an article on a joint research topics to the Intelligenza Artificiale journal (www.iospress.nl/journal/intelligenza-artificiale/). * For the incoming call eligibility for the visiting student is to be enrolled full-time in a PhD programme at a foreign University. Funding is available for 2 students. * For the outgiong call applications can be made by students enrolled full-time in a PhD programme at an Italian University. The applicant must be a member of the Association for 2018. If she/he is not a member for 2018 she/he must register before applying. * The visits should start between the 1st of January 2019 and the 31th of December 2019. * Deadline for applications: November 30th, 2018 Notification of grants: December 15th, 2018 * Further information: https://groups.google.com/a/aixia.it/forum/#!msg/aixia/VHeiyHXKocY/jZEjryGPAgAJ * The applications must be sent by email to incoming@aixia.it The applications will be examined by a committee composed by members of the AI*IA Board of Directors. POSTDOCTORAL RESEARCHER IN LOGIC, MILAN Project: Logical Foundations and Applications of Depth-Bounded Probability Duration: 2 years Deadline for application: 9 November 2018 http://www.unimi.it/ricerca/assegni_ricerca/123679.htm * Applicants are advised to contact the PIs of the project, Marcello D'Agostinoor Hykel Hosni , for further information about formal requirements. * We are looking for a very strong and highly motivated postdoctoral researcher in Logic to join Marcello D'Agostino and Hykel Hosni who are the PIs of the project "Logical Foundations and Applications of Depth-Bounded Probability". This project is part of a 5 years "Excellence Scheme" which has been awarded in 2017 to The Department of Philosophy at the University of Milan "La Statale" in recognition of its leading role in research and innovative teaching. * Further information: http://www.unimi.it/ricerca/assegni_ricerca/123679.htm
Back to the LICS web page.