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

Call For Papers: Workshop in OCL and Textual Modeling (OCL 2019)
by Achim D. Brucker 29 Jun '19

29 Jun '19

CALL FOR PAPERS 19th International Workshop on OCL and Textual Modeling Co-located with MODELS 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and System, September 15-20, 2019, Munich, Germany http://oclworkshop.github.io The goal of this workshop is to create a forum where researchers and practitioners interested in building models using OCL or other kinds of textual languages (e.g., OCL, textual MOF, Epsilon, or Alloy) can directly interact, report advances, share results, identify tools for language development, and discuss appropriate standards. In particular, the workshop will encourage discussions for achieving synergy from different modeling language concepts and modeling language use. The close interaction will enable researchers and practitioners to identify common interests and options for potential cooperation. ## Topics of interest Topics of interest include (but are not limited to): - Mappings between textual modeling languages and other languages/formalisms - Mathematical models and/or formal semantics for textual modeling languages - Algorithms, evaluation strategies and optimizations in the context of textual modeling languages for: - validation, verification, and testing, - model transformation and code generation, - meta-modeling and DSLs, and - query and constraint specifications - Alternative graphical/textual notations for textual modeling languages - Evolution, transformation and simplification of textual modeling expressions - Libraries, templates and patterns for textual modeling languages - Tools that support textual modeling languages (e.g., verification of OCL formulae, runtime monitoring of invariants) - Model-driven security using textual modeling languages - Complexity results for textual modeling languages - Quality models and benchmarks for comparing and evaluating textual modeling tools and algorithms - Successful applications of textual modeling languages - Case studies on industrial applications of textual modeling languages - Experience reports: - usage of textual modeling languages and tools in complex domains, - usability of textual modeling languages and tools for end-users - Empirical studies about the benefits and drawbacks of textual modeling languages - Innovative textual modeling tools - Comparison, evaluation and integration of modeling languages - Correlation between modeling languages and modeling tasks We particularly encourage submissions describing applications and case studies of textual modeling as well as test suites and benchmark collections for evaluating textual modeling tools. ## Submissions Four types of submissions will be considered: * Presentation only submission (not included in the workshop proceedings), e.g., for already published work. Authors should submit a short (1 page) abstract of their presentation. * Short papers (between 5 and 7 pages) describing new ideas or position papers. * Tool papers (between 5 and 7 pages) describing tools supporting textual modeling tools * Full papers (between 10 and 14 pages). All submissions should follow the LNCS format guidelines and should be uploaded to [EasyChair](https://easychair.org/conferences/?conf=ocl2019). Accepted papers will be published online in [CEUR](http://www.ceur-ws.org). ## Important Dates - Submission of papers: 14 Jul 2019 - Notification: 25 Aug 2019 - Pre-Workshop CRC: 9 Sep 2019 - Post-Workshop CRC: 5 Oct 2019 -- Prof. Achim Brucker | Chair in Cybersecurity & Head of Group | University of Exeter https://www.brucker.ch | https://logicalhacking.com/blog @adbrucker | @logicalhacking

1 0

JOB Two PhD positions in Formal Methods in System Engineering Group at TU Wien, Austria - Deadline: July 4, 2019
by Mihaela Rozman 26 Jun '19

26 Jun '19

Two PhD positions in Formal Methods in System Engineering Group at TU Wien, Austria The Institute of Logic and Computation at the TU Wien, <https://forsyte.at/> FORSYTE Group is offering two research assistant (PhD student) Positions, 30 h/week, for a period of 4 years. The successful candidate will be supervised by Prof. Pavol Cerny. The estimated start date is September 2, 2019. REQUIREMENTS Candidates with a research background in computer-aided verification, programming languages, and distributed systems are particularly encouraged to apply. Excellent knowledge of German and English languages is a requirement. TU Wien aims to increase the proportion of women and therefore calls on qualified women to apply. Persons with disabilities are equally encouraged to apply. For further Information please contact Mr. Gerhard Neustätter, <mailto:gerhard.neustaetter@tuwien.ac.at> gerhard.neustaetter(a)tuwien.ac.at BENEFITS The monthly minimum salary is currently EUR 2.148,40 (14x per year). Prior experience may result in a higher salary. The Faculty of Informatics at TU Wien is the largest one in Austria. It offers a first-class research environment and various academic development programs. Vienna has repeatedly been ranked Number 1 worldwide in the Mercer Quality of Living Survey. APPLICATION The proposed research will focus on computer-aided verification and synthesis of distributed systems. The application should include the candidate's CV, an abstract of her/his Diploma/Master thesis, a short motivation letter, and contact information for two references. The first screening of applications will start on July 4, 2019. Application Deadline: 04.07.2019 (Date of postmark) Please send your application documents to Personaladministration, Fachbereich wiss. Personal der TU Wien, Karlsplatz 13, 1040 Wien. Online applications to <mailto:veronika.korn@tuwien.ac.at> veronika.korn(a)tuwien.ac.at Candidates are not eligible for a refund of expenses for traveling and lodging related to the application process.

1 0

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