- finite-model-theory - lists.rwth-aachen.de

CiE 2019 CALL FOR PARTICIPATION
by Gianluca Della Vedova 24 Jun '19

24 Jun '19

======================================== CiE 2019 CALL FOR PARTICIPATION: ========================================= CiE 2019: Computing with Foresight and Industry Durham, United Kingdom July 15 - July 19, 2019 https://community.dur.ac.uk/cie.2019/ https://www.acie.eu IMPORTANT DATES: ============================ Early registration before: 25 June 2019 CiE 2019 is the 15th conference organized by CiE (Computability in Europe), a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world. Previous meetings have taken place in Amsterdam (2005), Swansea (2006), Siena (2007), Athens (2008), Heidelberg (2009), Ponta Delgada (2010), Sofia (2011), Cambridge (2012), Milan (2013), Budapest (2014), Bucharest (2015), Paris (2016), Turku (2017) and Kiel (2018). 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 Schönhuth (CWI, Amsterdam) - Sonja Smets (University of Amsterdam) - Linda Brown Westrick (Penn State) HOSTED BY: ============= Algorithms and Complexity in Durham (ACiD), a research group in the Department of Computer Science, Durham University For questions please contact the organisers at the e-mail address cie.2019(a)durham.ac.uk. SPECIAL SESSIONS: ================= Computational Neuroscience, organised by Noura Al Moubayed (Durham University) and Jason Connolly (Durham University) - Ulrik Beierholm (Durham University) - Netta Cohen (Leeds University) - Evelyne Sernagor (Newcastle University) - V Anne Smith (University of St Andrews) History and Philosophy of Computing, organised by the Council of the HaPoC Commission - Tony Hoare (University of Oxford, via Skype) - Michael Jackson (Open University) - Ray Turner (University of Essex) Lowness Notions in Computability, organised by Johanna Franklin (Hofstra University) and Joseph S. Miller (University of Wisconsin-Madison) - Kenshi Miyabe (Meiji University) - Benoit Monin (LACL, Créteil University) - Keng Meng Ng (Nanyang Technological University) - Don Stull (LORIA) Probabilistic Programming and Higher-Order Computation, organised by Christine Tasson (Paris Diderot University) - Thomas Ehrhard (IRIF, Paris Diderot University) - Cameron Freer (MIT) - Joost-Pieter Katoen (RWTH Aachen) - Sam Staton (University of Oxford) Smoothed and Probabilistic Analysis of Algorithms, organised by Bodo Manthey (University of Twente) - Sophie Huiberts (CWI, Amsterdam) - Stefan Klootwijk (University of Twente) - Clemens Rösner (University of Bonn) - Sebastian Wild (University of Waterloo) Transfinite Computations, organised by Sabrina Ouazzani (LIX, École Polytechnique) - Merlin Carl (University of Konstanz) - Lorenzo Galeotti (University of Hamburg) - Benjamin Rin (Utrecht University) - Philip Welch (University of Bristol) CONTRIBUTED PAPERS: =================== The list of accepted papers can be found at https://community.dur.ac.uk/cie.2019/. INFORMAL PRESENTATIONS: ======================= Continuing the tradition of past CiE conferences, we invite researchers to present informal presentations of their recent work. A proposal for an informal presentation must be submitted via EasyChair (https://easychair.org/conferences/?conf=cie2019), using the LNCS style file (available at https://www.springer.com/gp/computer-science/lncs/conference-proceedings-gu…) and be 1 page; a brief description of the results suffices and an abstract is not required. Informal presentations will not be published in the LNCS conference proceedings. Results presented as informal presentations at CiE 2019 may appear or may have appeared in other conferences with formal proceedings and/or in journals. WOMEN IN COMPUTABILITY: ======================= We are very happy to announce that within the framework of the Women in Computability programme, sponsored by ACM-Women, we are able to offer four 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(a)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. HaPoc Travel Grants ====================== The HaPoc Council offers two HaPoC travel grants of 250USD each to support participation in the conference. To be eligible for a grant, an accepted paper or informal presentation in the area of history and/or philosophy of computing is required. Applications for these grants must be made to HaPoC directly, see hapoc.org/node/284 for further details. ASL Travel Grants ====================== Students, who are members of the Association for Symbolic Logic, may apply for (limited) ASL travel funds that the ASL is making available for sponsored meetings. See aslonline.org/meetings/student-travel-awards/. Association CiE: https://www.acie.eu CiE Conference Series: http://www.computability.org.uk/index.php/cie-conference-series/ -- Gianluca Della Vedova DIpartimento di Informatica, Sistemistica e Comunicazione Università di Milano - Bicocca https://gianluca.dellavedova.org

1 0

Final Call for Papers - Computer Science Logic (CSL 2020)
by EACSL Mail-Account 19 Jun '19

19 Jun '19

Final Call for Papers - Computer Science Logic (CSL 2020) 13-16 January 2020, Barcelona, Spain Paper Submission: 4 July 2019 https://easychair.org/cfp/CSL2020 Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). It is an interdisciplinary conference, spanning across both basic and application oriented research in mathematical logic and computer science. Submission Guidelines: Submitted papers must be in English and must provide sufficient detail to allow the Programme Committee to assess the merits of the paper. Full proofs may appear in a clearly marked technical appendix which will be read at the reviewers' discretion. Authors are strongly encouraged to include a well written introduction which is directed at all members of the PC. The CSL 2020 conference proceedings will be published by LIPIcs. Authors are invited to submit contributed papers of no more than 15 pages in LIPIcs style (not including references), presenting unpublished work fitting the scope of the conference. Papers may not be submitted concurrently to another conference with refereed proceedings. The PC chairs should be informed of closely related work submitted to a conference or a journal. Papers authored or co-authored by members of the PC are not allowed. Dates: paper submission: 4 July 2019 notifications: 30 September 2019 Invited Speakers Veronique Cortier, LORIA, France Anuj Dawar, University of Cambridge, UK Artur Jez, University of Wroclaw, Poland Delia Kesner, University Paris Diderot, France Iddo Tzameret, Royal Holloway, UK Program Committee Sandra Alves, University of Porto, Portugal Takahito Aoto, Niigata University, Japan Albert Atserias, Technical University of Catalonia, Spain Manuel Bodirsky, TU Dresden, Germany James Brotherston, University College London, UK Rohit Chadha, University of Missouri, USA Krishnendu Chatterjee, Institute of Science and Technology, Austria Adriana Compagnoni, Stevens Institute of Technology, USA Arnaud Durand, University Paris Diderot, France Maribel Fernandez, King's College London, UK (co-chair) Bernd Finkbeiner, Saarland University, Germany Masahito Hasegawa, Kyoto University, Japan Dietrich Kuske, TU Ilmenau, Germany Salvador Lucas, Technical University of Valencia, Spain Angelo Montanari, University of Udine, Italy Anca Muscholl, University of Bordeaux, France (co-chair) Prakash Panangaden, McGill University, Canada Elaine Pimentel, University of Rio Grande do Norte, Brazil Damien Pous, CNRS - ENS Lyon, France Femke van Raamsdonk, Vrije Universiteit Amsterdam, Netherlands Simona Ronchi Della Rocca, University of Torino, Italy Manfred Schmidt-Schauss, Goethe University, Germany Lutz Schröder, Friedrich-Alexander-Universität Erlangen-Nürnberg, Germany Lidia Tendera, Opole University, Poland Szymon Torunczyk, University of Warsaw, Poland Glynn Winskel, University of Cambridge, UK Organizing committee Albert Atserias, Technical University of Catalonia (co-chair) Ilario Bonacina, Technical University of Catalonia Michal Garlik, Technical University of Catalonia Tuomas Hakoniemi, Technical University of Catalonia Joost Joosten, University of Barcelona Juan Carlos Martínez, University of Barcelona (co-chair) Moritz Müller, Technical University of Catalonia Venue The conference will be held in the University of Barcelona, Spain. Contact All questions about submissions should be emailed to the PC co-chairs: Maribel Fernandez: Maribel.Fernandez(a)kcl.ac.uk Anca Muscholl: anca(a)labri.fr

1 0

NASSLLI 2020 @ Brandeis University
by NASSLLI 2020 14 Jun '19

14 Jun '19

North American Summer School in Logic, Language and Information NASSLLI 2020 July 12-17 2020 Brandeis University, Waltham, MA nasslli2020.brandeis.edu The ninth North American Summer School for Logic, Language, and Information (NASSLLI) will be hosted from July 12-July 17, 2020, by Brandeis University in Waltham, MA (in the Boston area). The summer school is aimed at graduate students and advanced undergraduates in the fields of Linguistics, Computer Science, Cognitive Science, Logic, Philosophy, AI, and other related areas. NASSLLI brings these disciplines together with the goal of producing excellence in the study of how minds and machines represent, communicate, manipulate and reason with information. NASSLLI 2020 will consist of a series of courses and workshops, most running daily from Monday July 13 - Friday July 17. In addition, there will be intensive mini-courses the day prior to the start of courses (Sunday July 12). The 2020 NASSLLI will also have a theme - Formal and Computational Pragmatics and Models of Dialogue. Call for Course and Workshop Proposals: - Proposal submission deadline: September 30, 2019 - Notification: December 1, 2019 We invite proposals for courses and workshops that address topics of relevance to NASSLLI's central goal. Appropriate areas for courses include but are not limited to: semantics; pragmatics; computational linguistics; cognitive science; formal methodologies for the study of language and information; methods for data collection and analysis; logic and its applications; game and decision theory and their applications; philosophy of language; philosophy of mind. We particularly encourage submissions which address the theme (Formal and Computational Pragmatics and Models of Dialogue), and those representing cross-disciplinary approaches, especially courses showing the applicability of computational methods to theoretical work, and the use of theoretical work in practical applications. Courses involving a hands-on component (e.g., actual experience with NLP tools, coding, or machine learning algorithms) will be very welcome. NASSLLI welcomes a variety of approaches and methodologies (logics, cognitive and computational modeling, formal semantics/pragmatics, machine learning, experimental approaches) as long as the material is relevant to language, information or communication. Each course and workshop will consist of five 90 minute sessions, offered daily (Monday-Friday) during the week of the summer school. Sunday mini-courses will run for 3 to 5 hours. We encourage potential attendees and instructors to check out previous NASSLLI programs at: * Carnegie Mellon University 2018: www.cmu.edu/nasslli2018/ * Rutgers University, New Brunswick 2016: nasslli2016.rutgers.edu/ * University of Maryland, College Park 2014: www.nasslli2014.com/ * University of Texas, Austin 2012: www.nasslli2012.com/ * Indiana University 2010: www.indiana.edu/~nasslli/ * UCLA 2004: linguistics.ucla.edu/nasslli04/program.html <https://web.archive.org/web/20051018151057/http://www.linguistics.ucla.edu/…> * Indiana University 2003: indiana.edu/~nasslli/2003/program.html * Stanford University 2002: web.stanford.edu/group/nasslli/ Courses and workshops should aim to be accessible to an interdisciplinary, graduate level audience. Courses may bridge multiple areas, or focus on a single area, in which case instructors should include introductory background, try to avoid specialized notation that cannot be applied more broadly, and spend some time discussing how the topic is relevant to other fields. Workshop schedules are identical to course schedules, but usually consist of a series of presentations by different researchers; they may also include panel discussions. A workshop will be more accessible if its program is bracketed by broader-audience talks that introduce and summarize the week's presentations. Please note that NASSLLI cannot provide reimbursement for travel and accommodation for workshop presenters. Workshop proposals must include information about how the organizers expect these expenses to be covered. Course and workshop proposals from women and underrepresented minorities are particularly encouraged. PROPOSAL GUIDELINES/SUBMISSION DETAILS Proposals should be submitted in PDF format using EasyChair: https://easychair.org/conferences/?conf=nasslli2020 and should indicate the following: 1. person(s) in charge of the course/workshop and affiliation(s) 2. type of event (Sunday mini-course, one week course, or workshop) - For mini-courses, specify how many hours you’d like them to be 3. course/workshop title 4. motivation, description, and an outline of the course/workshop up to 500 words, plus appropriate references 5. special equipment (if any) needed to teach the course 6. a statement about the instructor's experience in teaching (including in interdisciplinary settings) 7. anticipated travel costs: workshop proposals must include (a) acknowledgement of the organizers’ understanding that NASSLLI will not provide reimbursement for invited participants and (b) an explanation of how these costs will be covered. FINANCIAL AND PRACTICAL DETAILS Course instructors and workshop organizers All instructional and organizational work at NASSLLI is performed completely on a voluntary basis, so as to keep participation fees to a minimum. However, organizers and instructors have their registration fees waived, and are reimbursed for travel expenses up to a level to be determined and communicated with the proposal notification, for at most one instructor per course, and at most one organizer per workshop, and cannot guarantee full reimbursement of travel costs for lecturers or organizers from outside of the US. In addition, we will make available appropriate accommodation for participating faculty, and will aim to cover the accommodation costs for instructors/organizers utilizing this accommodation, subject to the limit of two persons per course/workshop. We encourage all instructors/workshop organizers to fund their own travel and accommodation if this is feasible, since this will allow us to use more of our funding for student scholarships and for reimbursement to instructors without funding sources. Due to federal mandates, we can only reimburse air travel booked on US-based airlines. Additional information for workshop organizers NASSLLI 2020 cannot reimburse travel, accommodation or registration expenses for lecturers/speakers invited by workshop organizers. Registration for these invitees will be at reduced cost. Workshop proposals should include a plan to obtain funding for reimbursement of invitees, or should state that all invitees will fund their own travel and accommodation. PROGRAM COMMITTEE Co-Chairs: Sophia Malamud (Brandeis University) smalamud(a)brandeis.edu James Pustejovsky (Brandeis University) jamesp(a)brandeis.edu CONTACT INFORMATION For questions relating to proposals and proposal submission, please email nasslli2020(a)easychair.org For questions relating to local organization, please email nasslli(a)brandeis.edu More information to come on our website http://nasslli2020.brandeis.edu

1 0

FoIKS 2020: preliminary CFP
by Kontinen, Juha A 13 Jun '19

13 Jun '19

FoIKS 2020: Eleventh International Symposium on Foundations of Information and Knowledge Systems University of Dortmund, Germany, Feb. 17-21, 2020 Conference website: https://foiks2020.cs.tu-dortmund.de/ Submission link: https://easychair.org/conferences/?conf=foiks2020 Submission deadlines: September 11, 2019 (abstract), September 18, 2019 (paper) The FoIKS symposia provide a biennial forum for presenting and discussing theoretical and applied research on information and knowledge systems. The goal is to bring together researchers with an interest in this subject, share research experiences, promote collaboration and identify new issues and directions for future research. FoIKS 2020 solicits original contributions dealing with any foundational aspect of information and knowledge systems. This includes submissions that apply ideas, theories or methods from specific disciplines to information and knowledge systems. Examples of such disciplines are discrete mathematics, logic and algebra, model theory, information theory, complexity theory, algorithmics and computation, statistics and optimization. The FoIKS symposia are a forum for intense discussions. Speakers will be given sufficient time to present their ideas and results within the larger context of their research; furthermore, participants will be asked to prepare a first response to another contribution in order to initiate discussion. *** Suggested topics The suggested topics include, but are not limited to: * Database Design: Formal models, dependencies and independencies * Big Data: Models for data in the Cloud, programming languages for big data, query processing * Dynamics of Information: Models of transactions, concurrency control, updates, consistency preservation, belief revision * Information Fusion: Heterogeneity, views, schema dominance, multiple source information merging, reasoning under inconsistency * Integrity and Constraint Management: Verification, validation, consistent query answering, information cleaning * Intelligent Agents: Multi-agent systems, autonomous agents, foundations of software agents, cooperative agents, formal models of interactions, negotiations and dialogue, logical models of emotions * Knowledge Discovery and Information Retrieval: Machine learning, data mining, formal concept analysis and association rules, text mining, information extraction * Knowledge Representation, Reasoning and Planning: Non-monotonic formalisms, probabilistic and non-probabilistic models of uncertainty, graphical models and independence, similarity-based reasoning, preference modeling and handling, computational models of argument, argumentation systems * Logics in Databases and AI: Classical and non-classical logics, logic programming, description logics, spatial and temporal logics, probability logic, fuzzy logic * Mathematical Foundations: Discrete structures and algorithms, graphs, grammars, automata, abstract machines, finite model theory, information theory, coding theory, complexity theory, randomness * Security in Information and Knowledge Systems: Identity theft, privacy, trust, intrusion detection, access control, inference control, secure Web services, secure Semantic Web, risk management * Semi-Structured Data and XML: Data modelling, data processing, data compression, data exchange * Social Computing: Collective intelligence and self-organizing knowledge, collaborative filtering, computational social choice, Boolean games, coalition formation, reputation systems *The Semantic Web and Knowledge Management: Languages, ontologies, agents, adaption, intelligent algorithms, ontology-based data access * The WWW: Models of Web databases, Web dynamics, Web services, Web transactions and negotiations, Social Networks, Web Mining *** Submission Guidelines All papers must be original and not simultaneously submitted to another journal or conference. Papers must be typeset using the Springer LaTeX2e style llncs for Lecture Notes in Computer Science. The suggested number of pages is 16, and the maximum number of pages is 18. Submissions which deviate substantially from these guidelines may be rejected without review. Initial submissions must be in PDF format, but authors should keep in mind that the LaTeX2e source must be submitted for the final versions of accepted papers. Submissions in alternate formats, such as Microsoft Word, cannot be accepted for either initial or final versions. The submissions will be judged for scientific quality and for suitability as a basis for broader discussion. Submission is via EasyChair. *** Important Dates Abstract submission deadline: September 11, 2019 Paper submission deadline: September 18, 2019 Author notification: November 19, 2019 Camera-ready paper due: December 05, 2019 FoIKS 2020 Symposium: February 14-18, 2020 *** Program Committee tba *** Program Chairs • Andreas Herzig, CNRS, IRIT, Toulouse, France • Juha Kontinen, University of Helsinki, Finland *** Local Organization Chair Gabriele Kern-Isberner, TU Dortmund Christoph Beierle, University of Hagen *** Invited Speakers tba *** Publication The proceedings will be published by Springer-Verlag in the Lecture Notes in Computer Science. After the symposium, authors of selected papers will be invited to submit extended journal versions of their papers for a FoIKS 2020 special issue of the Annals of Mathematics and Artificial Intelligence. *** Venue The conference will be held at the TU Dortmund; further information on the venue will be provided in time. *** Contact All questions about submissions should be emailed to foiks2020(a)easychair.org.

1 0

A postdoc position in Algorithmic Game Theory at Warwick
by Jurdzinski, Marcin 13 Jun '19

13 Jun '19

A Postdoctoral Research Fellow position in the area of the Algorithmic Game Theory is available for one year. The start date can be negotiated for the right candidate. The position is in connection with an EPSRC research grant of Dr Marcin Jurdzinski (https://www.dcs.warwick.ac.uk/~mju/) and Prof Ranko Lazic on Solving Parity Games in Theory and Practice. Parity games are an intriguing problem class, because they are simple to state and have proven to be resistant to countless attempts to classify their complexity. At the same time, algorithms for solving parity games play a paramount role in model checking, satisfiability checking, and synthesis. The main objective of the post is to pursue cutting-edge research on algorithms and solvers for parity games, as well as mean payoff, discounted payoff, and simple stochastic games. You will have a strong background in Theoretical Computer Science, with a specialisation in Algorithmic Game Theory, Automata Theory or Model Checking. You will have (or expect to obtain shortly) a PhD in the relevant area. You should provide with your application form a CV, including a list of publications, a research statement, and a short statement highlighting your suitability for this post. You will be formally based in the Department of Computer Science at the University of Warwick, and you will be associated with the Centre for Discrete Mathematics and its Applications (DIMAP, http://www2.warwick.ac.uk/fac/cross_fac/dimap) and the Division of Theory and Foundations (https://warwick.ac.uk/fac/sci/dcs/research/focs/people/) at the University of Warwick. The project will be collaborative with Prof Sven Schewe, Dr John Fearnley and Dr Dominik Wojtczak at the University of Liverpool. The closing date for applying is 30 June 2019. Please see the full advertisement at: https://atsv7.wcn.co.uk/search_engine/jobs.cgi?owner=5062452&ownertype=fair…

1 0

Haskell Brooks Curry (1900-1982) now on-line
by jean-yves beziau 06 Jun '19

06 Jun '19

The entry by Jonathan Seldin "Haskell Brooks Curry (1900-1982)" has been posted on the Internet Encyclopedia of Philosophy (IEP) https://www.iep.utm.edu/curry/ Curry was one of the most important logicians of the 20th century. He did his PhD in Göttingen with Hilbert. This PhD was written in German and has been recently published in a bilingual edition: "Foundations of Combinatory Logics (Grundlagen der kombinatorischen Logik)", Haskell Curry translated and presented by Fairouz Kamareddine and Jonathan Seldin in the book series Logic PhDs http://www.collegepublications.co.uk/lphd/?00001 Curry is the originator of the expression "algebraic logic" that he used in his book written in French "Leçons de logique algébrique" (1952) The introduction and the two first chapters of this book have been translated in English by Jonathan Seldin and published with a presentation entitled "Logical Algebras as formal systems: H.B.Curry's approach to algebraic logic" in the book "Universal Logic: An Anthology" https://www.springer.com/gp/book/9783034601443 Seldin wrote in the IEP entry: "He (Curry) was always willing to listen to anybody who wanted to talk to him, to discuss their ideas, and to give whatever encouragement he could. His office door was always open." Kripke indeed told me that when he was a teenager he wrote to Curry and he was the first to recognize the importance of his work on the semantics for modal logic. Jean-Yves Beziau Logic Area Editor of the Internet Encyclopedia of Philosophy Editor of the book series: - Logic PhDs (College Publications) - Studies in Universal Logic (Birkhäuser/Springer)

1 0

HIGHLIGHTS 2019: Last call for Presentations
by Nathanaël Fijalkow 05 Jun '19

05 Jun '19

Deadline: 10 June AoE HIGHLIGHTS 2019: 7th annual conference on Highlights of LOGIC, GAMES, and AUTOMATA 17-20 September 2019, Warsaw http://highlights-conference.org HIGHLIGHTS 2019 is the seventh conference on Highlights of Logic, Games and Automata that aims at integrating the community working in these fields. Papers from these areas are dispersed across many conferences, which makes them difficult to follow. A visit to the Highlights conference should offer a wide picture of the latest research in the field and a chance to meet everybody in the community, not just those who happen to publish in one particular proceedings volume. The conference is short (from 18 September to the mid-day on 20 September) and it is preceded by the Highlights Tutorial Day (17 September). The participation costs are modest and Warsaw is easy to reach. The Contributed Presentations will be around ten minutes long. All speakers will be also invited to contribute to a Poster Session, which will open new ways of interaction at the conference for the whole Highlights community. We encourage you to attend and present your best work, be it already published or not, at the Highlights conference. SCOPE: Representative areas include, but are not restricted to: + logic and finite model theory + automata theory + games for logic and verification IMPORTANT GUIDELINES: The main part of your submission is an abstract, which should serve as a proposal for a presentation. Hence, submissions should have a single author—the speaker. We expect you to present your favourite result of the year, so there should be at most one submission per speaker. The Abstract may include a list of co-authors. There are no formal proceedings and we encourage submission of work presented elsewhere. You may submit a pre-print of a paper that your presentation is based on, but you are not required to do that. SUBMISSION SERVER: https://easychair.org/conferences/?conf=highlights2019 IMPORTANT DATES 10 June AoE: Submission deadline 20 June: Notification ================================================ COLOCATED EVENT: 3rd School on Foundations of Programming and Software Systems on NOMINAL TECHNIQUES 10-15 September 2019 https://www.mimuw.edu.pl/~fopss19

1 0

2nd Call for Papers - Computer Science Logic (CSL 2020)
by EACSL Mail-Account 03 Jun '19

03 Jun '19

2nd Call for Papers - Computer Science Logic (CSL 2020) 13-16 January 2020, Barcelona, Spain Paper Submission: 4 July 2019 https://easychair.org/cfp/CSL2020 Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). It is an interdisciplinary conference, spanning across both basic and application oriented research in mathematical logic and computer science. Submission Guidelines: Submitted papers must be in English and must provide sufficient detail to allow the Programme Committee to assess the merits of the paper. Full proofs may appear in a clearly marked technical appendix which will be read at the reviewers' discretion. Authors are strongly encouraged to include a well written introduction which is directed at all members of the PC. The CSL 2020 conference proceedings will be published by LIPIcs. Authors are invited to submit contributed papers of no more than 15 pages in LIPIcs style (not including references), presenting unpublished work fitting the scope of the conference. Papers may not be submitted concurrently to another conference with refereed proceedings. The PC chairs should be informed of closely related work submitted to a conference or a journal. Papers authored or co-authored by members of the PC are not allowed. Dates: paper submission: 4 July 2019 notifications: 30 September 2019 Invited Speakers Veronique Cortier, LORIA, France Anuj Dawar, University of Cambridge, UK Artur Jez, University of Wroclaw, Poland Delia Kesner, University Paris Diderot, France Iddo Tzameret, Royal Holloway, UK Program Committee Sandra Alves, University of Porto, Portugal Takahito Aoto, Niigata University, Japan Albert Atserias, Technical University of Catalonia, Spain Manuel Bodirsky, TU Dresden, Germany James Brotherston, University College London, UK Rohit Chadha, University of Missouri, USA Krishnendu Chatterjee, Institute of Science and Technology, Austria Adriana Compagnoni, Stevens Institute of Technology, USA Arnaud Durand, University Paris Diderot, France Maribel Fernandez, King's College London, UK (co-chair) Bernd Finkbeiner, Saarland University, Germany Masahito Hasegawa, Kyoto University, Japan Dietrich Kuske, TU Ilmenau, Germany Salvador Lucas, Technical University of Valencia, Spain Angelo Montanari, University of Udine, Italy Anca Muscholl, University of Bordeaux, France (co-chair) Prakash Panangaden, McGill University, Canada Elaine Pimentel, University of Rio Grande do Norte, Brazil Damien Pous, CNRS - ENS Lyon, France Femke van Raamsdonk, Vrije Universiteit Amsterdam, Netherlands Simona Ronchi Della Rocca, University of Torino, Italy Manfred Schmidt-Schauss, Goethe University, Germany Lutz Schröder, Friedrich-Alexander-Universität Erlangen-Nürnberg, Germany Lidia Tendera, Opole University, Poland Szymon Torunczyk, University of Warsaw, Poland Glynn Winskel, University of Cambridge, UK Organizing committee Albert Atserias, Technical University of Catalonia (co-chair) Ilario Bonacina, Technical University of Catalonia Michal Garlik, Technical University of Catalonia Tuomas Hakoniemi, Technical University of Catalonia Juan Carlos Martínez, University of Barcelona (co-chair) Moritz Müller, Technical University of Catalonia Venue The conference will be held in the University of Barcelona, Spain. Contact All questions about submissions should be emailed to the PC co-chairs: Maribel Fernandez: Maribel.Fernandez(a)kcl.ac.uk Anca Muscholl: anca(a)labri.fr

1 0

Student Forum
by FMCAD 2019 30 May '19

30 May '19

CALL FOR PAPERS International Conference on Formal Methods in Computer-Aided Design (FMCAD) STUDENT FORUM San Jose, California, USA, Oct 22 - 25, 2019 https://fmcad.forsyte.at/FMCAD19/student-forum/ IMPORTANT DATES Paper submission: July 26, 2019 Notification: August 16, 2019 All deadlines are 11:59 pm AoE (Anywhere on Earth) FMCAD Tutorial Day: Oct 22, 2019 Regular Program: Oct 23 - 25, 2019 GOALS AND FORMAT Student Forum provides a platform for students at any career stage (undergraduate or graduate) to introduce their research to the wider Formal Methods community and solicit feedback. The event will consist of short presentations by the student authors of each accepted submission and of a poster that will be on display throughout the duration of the conference. All participants of the conference are encouraged to attend the talks and approach the students during the poster presentation. Accepted submissions will be listed in the description of Student Forum in the conference proceedings. The authors will also have the option to upload their poster and presentation to the FMCAD web site. Submissions will not appear in the FMCAD proceedings; thus, the presentation at Student Forum should not interfere with potential future submissions of this research (to FMCAD or elsewhere). TRAVEL AWARDS Most of the applicants will receive up to $1000 of travel reimbursement after the conference. The first author of each contribution will be given priority over other authors. Please make sure you hold on to all receipts for reimbursement. Further instructions on how to apply for travel grants will be on the website. SUBMISSIONS Submissions for the event must be short reports describing research ideas or ongoing work that the student is currently pursuing, and must be within the scope of FMCAD. Work, part of which has been previously published, will be considered; the novel aspect to be addressed in future work must be clearly described in such cases. All submissions will be reviewed by a subgroup of FMCAD program committee members. Submissions should use the IEEE Transactions format on letter-size paper with a 10-point font size and be 2 pages long including all figures and references. Please submit using the EasyChair system: https://easychair.org/conferences/?conf=fmcad2019 Advice: Focus on the key idea and try to convey it to the reader in an intuitive way. Provide a clear motivation and emphasize novel concepts/ contributions. Avoid unnecessary notational clutter unless it is a widely used formalism and helps to make the paper more concise and clear. Only describe related work that��s absolutely crucial to your contribution: the limited space available should be used to present your work. CONFERENCE SCOPE FMCAD 2019 is the nineteenth in a series of conferences on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system design including verification, specification, synthesis, and testing. Topics of interest include (but are not limited to): - Model checking, theorem proving, equivalence checking, abstraction and reduction, compositional methods, decision procedures at the bit- and word-level, probabilistic methods, combinations of deductive methods and decision procedures. - Synthesis and compilation for computer system descriptions, modeling, specification, and implementation languages, formal semantics of languages and their subsets, model-based design, design derivation and transformation, correct-by-construction methods. - Application of formal and semi-formal methods to functional and non-functional specification and validation of hardware and software, including timing and power modeling, verification of computing systems on all levels of abstraction, system-level design and verification for embedded systems, cyber-physical systems, automotive systems and other safety-critical systems, hardware-software co-design and verification, and transaction-level verification. - Experience with the application of formal and semi-formal methods to industrial-scale designs; tools that represent formal verification enablement, new features, or a substantial improvement in the automation of formal methods. - Application of formal methods to verifying safety, connectivity and security properties of networks, distributed systems, smart contracts, blockchains, and IoT devices. FMCAD 2019 COMMITTEES PROGRAM CHAIRS: Clark Barrett, Stanford University Jin Yang, Intel Corporation STUDENT FORUM CHAIR: Grigory Fedyukovich, Princeton University PROGRAM COMMITTEE: Erika Abraham, Aachen University June Andronick, CSIRO|Data61 and UNSW Timos Antonopoulos, Yale University Armin Biere, Johannes Kepler University Per Bjesse, Synopsys Jasmin Blanchette, Inria Nancy Roderick Bloem, Graz University of Technology Gianpiero Cabodi, Politechnico Torino Supratik Chakraborty, IIT Bombay Sylvain Conchon, Universite Paris-Sud Vijay D'Silva, Google Rayna Dimitrova, University of Leicester Malay Ganai, Synopsys Alberto Griggio, Fondazione Bruno Kessler Liana Hadarean, Amazon Joe Hendrix, Galois Marijn Heule, University of Texas at Austin Warren Hunt, University of Texas at Austin Alexander Ivrii, IBM George Karpenkov, Google Panagiotis Manolios, Northeastern University Ken McMillan, Microsoft Research Rajdeep Mukherjee, Cadence Alexander Nadel, Intel Corporation Corina Pasareanu, NASA/CMU Sandip Ray, University of Florida Giles Reger, University of Manchester Anna Slobodova, Centaur Armando Solar-Lezama, Massachusetts Institute of Technology Niklas S��rensson, Mentor Graphics Daryl Stewart, ARM Christoph Sticksel, MathWorks Chao Wang, University of Southern California Georg Weissenbacher, Vienna University of Technology Zhenkun Yang, Intel Corporation Lenore Zuck, University of Illinois at Chicago TUTORIAL CHAIR: Sandip Ray, University of Florida WEBMASTER: Tom van Dijk, Johannes Kepler University LOCAL ARRANGEMENT: Yoni Zohar, Stanford University PUBLICATION CHAIR: Florian Lonsing, Stanford University FMCAD STEERING COMMITTEE: Armin Biere, Johannes Kepler University Alan Hu, University of British Columbia Warren Hunt, University of Texas at Austin Vigyan Singhal, Oski Tech Georg Weissenbacher, Vienna University of Technology

1 0

HIGHLIGHTS 2019: Call for Presentations
by Nathanaël Fijalkow 30 May '19

30 May '19

HIGHLIGHTS 2019: 7th annual conference on Highlights of LOGIC, GAMES, and AUTOMATA 17-20 September 2019, Warsaw http://highlights-conference.org HIGHLIGHTS 2019 is the seventh conference on Highlights of Logic, Games and Automata that aims at integrating the community working in these fields. Papers from these areas are dispersed across many conferences, which makes them difficult to follow. A visit to the Highlights conference should offer a wide picture of the latest research in the field and a chance to meet everybody in the community, not just those who happen to publish in one particular proceedings volume. The conference is short (from 18 September to the mid-day on 20 September) and it is preceded by the Highlights Tutorial Day (17 September). The participation costs are modest and Warsaw is easy to reach. The Contributed Presentations will be around ten minutes long. All speakers will be also invited to contribute to a Poster Session, which will open new ways of interaction at the conference for the whole Highlights community. We encourage you to attend and present your best work, be it already published or not, at the Highlights conference. SCOPE: Representative areas include, but are not restricted to: + logic and finite model theory + automata theory + games for logic and verification IMPORTANT GUIDELINES: The main part of your submission is an abstract, which should serve as a proposal for a presentation. Hence, submissions should have a single author—the speaker. We expect you to present your favourite result of the year, so there should be at most one submission per speaker. The Abstract may include a list of co-authors. There are no formal proceedings and we encourage submission of work presented elsewhere. You may submit a pre-print of a paper that your presentation is based on, but you are not required to do that. SUBMISSION SERVER: https://easychair.org/conferences/?conf=highlights2019 IMPORTANT DATES 10 June AoE: Submission deadline 20 June: Notification ================================================ COLOCATED EVENT: 3rd School on Foundations of Programming and Software Systems on NOMINAL TECHNIQUES 10-15 September 2019 https://www.mimuw.edu.pl/~fopss19

1 0