finite-model-theory July 2019

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

7 participants
7 discussions

HIGHLIGHTS 2019: Registration is open!

by Nathanaël Fijalkow

The programme is online and registration is open! Deadline for early bird registration: 31 August. 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. SCOPE: Representative areas include, but are not restricted to: + logic and finite model theory + automata theory + games for logic and verification ================================================ COLOCATED EVENT: 3rd School on Foundations of Programming and Software Systems on NOMINAL TECHNIQUES 10-15 September 2019 https://www.mimuw.edu.pl/~fopss19

5 years, 1 month

RAMiCS2020 - 2nd CFP

by Michael Winter

2nd CALL FOR PAPERS 18th International Conference on Relational and Algebraic Methods in Computer Science RAMiCS 2020 08. April to 11. April 2020, Palaiseau, France URL: http://ramics18.gforge.inria.fr/ IMPORTANT DATES: Abstract Submission: 06. October 2019 Paper Submission: 13. October 2019 Author Notification: 15. December 2019 Final Version: 16. January 2020 RAMiCS 2020: 08. April to 11. April 2020 GENERAL INFORMATION: Since 1994, the RAMiCS conference series has been the main venue for research on relation algebras, Kleene algebras and similar algebraic formalisms, and their applications as conceptual and methodological tools in computer science and beyond. TOPICS: We invite submissions in the general fields of algebras relevant to computer science and applications of such algebras. Topics include but are not limited to: * Theory - algebras such as semigroups, residuated lattices, semirings, Kleene algebras, relation algebras and quantales - their connections with program logics and other logics - their use in the theories of automata, concurrency, formal languages, games, networks and programming languages - the development of algebraic, algorithmic, category-theoretic, coalgebraic and proof-theoretic methods for these theories - their formalisation with theorem provers * Applications - tools and techniques for program correctness, specification and verification - quantitative and qualitative models and semantics of computing systems and processes - algorithm design, automated reasoning, network protocol analysis, social choice, optimisation and control - industrial applications WATA 2020 WATA 2020, the 10th International Workshop on Weighted Automata: Theory and Applications, will take place just after RAMICS, from 14 to 17 April, in Marseille. We encourage participants to combine the two events. SUBMISSION INSTRUCTIONS: Submission is via EasyChair at https://www.easychair.org/conferences/?conf=ramics2020 All papers will be peer-reviewed by at least three referees. The proceedings will be published in an LNCS volume by Springer, ready at the conference. Submissions must not be published or under review for publication elsewhere. Submissions must be in English using a PDF not exceeding 16 pages in LNCS style. Submissions must provide sufficient information to judge their merits. Additional material may be provided in a clearly marked appendix or by a reference to a manuscript on a web site. Experimental data, software or mathematical components for theorem provers must be available in sufficient detail for referees. Deviation from these requirements may lead to rejection. One author of each accepted paper is expected to present the paper at the conference. Accepted papers must be produced with LaTeX. Formatting instructions and LNCS style files are available at http://www.springer.de/comp/lncs/authors.html As for earlier RAMiCS conferences, we intend to publish a journal special issue with revised and extended versions of a selection of the best papers. COMMITTEES: Organising Committee -------------------- Conf. & PC Co-Chair: Peter Jipsen, Chapman University, USA Conf. & PC Co-Chair: Uli Fahrenberg, École polytechnique, France Conf. & PC Co-Chair: Michael Winter, Brock University, Canada Programme Committee ------------------- Roland Backhouse University of Nottingham, UK Rudolf Berghammer Kiel University, Germany Manuel Bodirsky TU Dresden, Germany Jules Desharnais Laval University, Canada Amina Doumane PPS, France Uli Fahrenberg École polytechnique, France Hitoshi Furusawa Kagoshima University, Japan Mai Gehrke LIAFA, France Walter Guttmann University of Canterbury, New Zealand Robin Hirsch University College London, UK Peter Höfner CSIRO, Australia Marcel Jackson La Trobe University, Australia Jean-Baptiste Jeannin University of Michigan, USA Peter Jipsen Chapman University, USA Stef Joosten Open Universiteit, Netherlands Wolfram Kahl McMaster University, Canada Dexter Kozen Cornell University, USA Tadeusz Litak FAU Erlangen-Nürnberg, Germany Wendy MacCaull St. Francis Xavier University, Canada Roger Maddux Iowa State University, USA Annabelle McIver Macquarie University, Australia Szabolcs Mikulas University of London, UK Ali Mili NJIT, USA Jose Oliveira University of Minho, Portugal Alessandra Palmigiano Technical University of Delft, Netherlands Damien Pous CNRS - ENS Lyon, France Mehrnoosh Sadrzadeh Queen Mary University of London, UK Luigi Santocanale LIS, Aix-Marseille Université, France John Stell University of Leeds, UK Georg Struth University of Sheffield, UK Michael Winter Brock University, Canada

5 years, 1 month

FroCoS 2019 and TABLEAUX 2019 (London, September 2-6): call for participation

by Andrei Popescu

The 2019 editions of FroCoS (the 12th International Symposium on Frontiers of Combining Systems) and TABLEAUX (the 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods), as well as their affiliated workshops and tutorials will take place in London, at Middlesex University, on the week of September 2-6. This year we have an exciting program of contributed and invited talks, and affiliated events. Please see https://tableaux2019.org/Program_FroCoS_TABLEAUX_2019.pdf for detailed program information. Moreover, information on traveling and accommodation (including affordable accommodation for budget-constrained participants), and on the sites and activities that can be enjoyed in the Middlesex University's beautiful campus, is available from the conferences' websites: https://frocos2019.org and https://tableaux2019.org Information on registration and fees is also available from these websites. The deadline for early registration is August 21st, 2019. INVITED TALKS * Jeremy Avigad. Automated Reasoning for the Working Mathematician * Maria Paola Bonacina. Conflict-Driven Reasoning in Unions of Theories * Stephane Graham-Lengrand. Recent and Ongoing Developments of Model-Constructing Satisfiability * Stephane Graham-Lengrand and Sara Negri. Remembering Roy Dyckhoff * Uli Sattler. Modularity and Automated Reasoning in Description Logics AFFILIATED WORKSHPS * The 25th Workshop on Automated Reasoning (ARW 2019), organized by Alexander Bolotov and Florian Kammueller * Journeys in Computational Logic: Tributes to Roy Dyckhoff, organized by Stephane Graham-Lengrand, Ekaterina Komendantskaya and Mehrnoosh Sadrzadeh AFFILIATED TUTORIALS * Formalising Concurrent Computation: CLF, Celf, and Applications by Sonia Marin, Giselle Reis and Iliano Cervesato * How to Build an Automated Theorem Prover---An Introductory Tutorial (invited TABLEAUX tutorial) by Jens Otten. For any questions, please contact the organizers at chair(a)tableaux2019.org or chair(a)frocos2019.org. We hope to see many of you this September in London. Best wishes, Serenella Cerrito, Andreas Herzig, Andrei Popescu and Franco Raimondi (program chairs and local organizers)

5 years, 1 month

Workshop in OCL and Textual Modeling (OCL 2019) - Deadline Extension

by Achim D. Brucker

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 ******************************************************************* **** Deadline Extension: One week (21st of July, 2019 - AoE) **** **** left to submit your papers! **** ******************************************************************* 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: 21 Jul 2019, AoE (extended) - Notification: 25 Aug 2019, AoE - Pre-Workshop CRC: 9 Sep 2019, AoE - Post-Workshop CRC: 5 Oct 2019, AoE -- Prof. Achim Brucker | Chair in Cybersecurity & Head of Group | University of Exeter https://www.brucker.ch | https://logicalhacking.com/blog @adbrucker | @logicalhacking

5 years, 2 months

ICDT2020 CfP - Second Submission Cycle

by Carsten Lutz

CALL FOR PAPERS 23rd INTERNATIONAL CONFERENCE ON DATABASE THEORY (ICDT 2020) Second Cycle Copenhagen, Denmark, March 30 - April 2, 2020 https://diku-dk.github.io/edbticdt2020/ * About ICDT ICDT is an international conferences series that addresses the principles and theory of data management. Since 2009, it is annually and jointly held with EDBT, the international conference on extending database technology. See also https://databasetheory.org/icdt-pages. * Invited Speakers Include Benny Kimelfeld, Jerzy Marcinkowski, and Juan Reutter. * Broadening Scope As ICDT strives to broaden its scope, ICDT 2020 will have a Reach Out Track that calls for - novel formal frameworks or directions for database theory and/or - connections between principles of data management and other communities. The aim of the Reach Out track is to present novel and important directions for database theory and to expand the scope and impact of ICDT towards neighboring communities such as Database Systems, Artificial Intelligence, Knowledge Representation, Machine Learning, Programming Languages, Distributed Computing, and Operating Systems. It is reasonable for articles submitted to this track to be be shorter than regular ICDT submissions. Submissions will be judged mainly in terms of their potential to lead to valuable and impactful theoretical developments. We encourage authors to illustrate the potential impact via convincing examples, preliminary results, and clearly specified open problems. * Topics of Interest Every topic related to the principles of data management is relevant to ICDT. Particularly welcome are contributions that connect data management to theoretical computer science, and those that connect database theory and database practice. Examples of relevant topics include: - Data mining, information extraction, information retrieval, and database aspects of machine learning - Data models, design, structures, semantics, query languages, and algorithms for data management - Distributed and parallel databases, cloud computing - Databases and knowledge representation - Graph databases, (semantic) Web data, and Web services - Data streams and sketching - Data-centric (business) process management and workflows - Data and knowledge integration and exchange, data provenance, views, and data warehouses - Domain-specific databases (multimedia, scientific, spatial, etc) - Data privacy and security, concurrency, and recovery * Deadlines The deadlines for the second submission cycle are as follows, all dates anywhere on earth (AoE). Abstract: September 15, 2019 Full paper: September 23, 2019 Notification: December 5, 2019 * Program Committee Program Committee Chair: Carsten Lutz (University of Bremen) Program Committee Members: Marcelo Arenas (PUC, Santiago de Chile) Michael Benedikt (University of Oxford) Christoph Berkholz (HU Berlin) Angela Bonifati (University Lyon 1) Pierre Bourhis (University of Lille) James Cheney (University of Edinburgh) Graham Cormode (University of Warwick) Victor Dalmau (UPF, Barcelona) Claire David (University Paris-Est) Floris Geerts (University of Antwerp) Bas Ketsman (EPFL, Lausanne) Daniel Kifer (Penn State University) Leonid Libkin (University of Edinburgh) Sebatian Maneth (University of Bremen) Filip Murlak (University of Warsaw) Reinhard Pichler (TU Vienna) Andreas Pieris (University of Edinburgh) Sebastian Rudolph (TU Dresden) Thomas Schwentick (University of Dortmund) Uri Stemmer (Ben-Gurion University, Negev) Domagoj Vrgoc (PUC, Santiago de Chile) Frank Wolter (University of Liverpool) * Submission Instructions Submissions will be electronic via EasyChair at https://easychair.org/conferences/?conf=icdt2020. Papers must be written in English and provide sufficient detail to allow the program committee to assess their merits. The results must be unpublished and not submitted for publication elsewhere, including the proceedings of other symposia, workshops, and journals. Papers must be submitted as a PDF document and use the LIPIcs style (http://www.dagstuhl.de/en/publications/lipics/instructions-for-authors). Paper length is limited to 15 pages excluding references, both for regular submissions and for the Reach Out Track. Additional details may be included in a clearly marked appendix which will be read at the discretion of the program committee. Online appendices are not allowed. Papers that do not conform to these requirements may be rejected without further consideration. The proceedings will appear in the Leibniz International Proceedings in Informatics (LIPIcs) series, based at Schloss Dagstuhl. This guarantees that the proceedings will be available under the gold open access model, that is, online and free of charge while the authors retain the rights over their work. At least one author of each accepted paper is expected to register at the conference and to present the paper. * Awards An award will be given to the Best Paper and to the Best Newcomer Paper where `newcomer' refers to the field of database theory. The latter award will preferentially be given to a paper authored only by students and in that case be called Best Student-Paper Award. The program committee reserves the right to not give any award and to split an award among several papers. Papers co-authored by program committee members are not eligible for an award.

5 years, 2 months

WORDS 2019 - call for participation

by Words 2019

[Apologies if you receive multiple copies of this message] ============================== === *WORDS 2019 Call for PARTICIPATION* === ============================== 12th International Conference on WORDS Loughborough, UK, September 9-13, 2019 http://words2019.lboro.ac.uk *REGISTRATION* is open: You can do this by either accessing directly the Loughborough University Store from the link https://store.lboro.ac.uk/conferences-and-events/computer-science/upcoming-… or by accessing the same link from the Conference Information section on our website www.words2019.lboro.ac.uk. *KEYNOTE SPEAKERS* Florin Manea (Kiel University) Matching Patterns with Variables Svetlana Puzynina (Saint Petersburg State University) Abelian properties of words Antonio Restivo (University of Palermo) On Sets of Words of Rank Two Gwenaël Richomme (Université Paul-Valéry Montpellier 3) S-adicity and property preserving morphisms Aleksi Saarela (University of Turku) Independent Systems of Word Equations: From Ehrenfeucht to Eighteen Kristina Vušković (University of Leeds) Structure of graph classes and algorithms *ACCEPTED PAPERS * Author(s) Paper Title Adrian Atanasiu, Ghajendran Poovanandran, Wen Chean Teh Parikh Determinants Aseem Baranwal, Jeffrey Shallit Critical exponent of infinite balanced words via the Pell number system Aseem Baranwal, Jeffrey Shallit Repetitions in infinite palindrome-rich words Amanda Burcroff, Eric Winsor Generalized Lyndon Factorizations of Infinite Words Arturo Carpi, Flavio Dalessandro On the commutative equivalence of bounded semi-linear codes Trevor Clokie, Daniel Gabric, Jeffrey Shallit Circularly squarefree words and unbordered conjugates: a new approach James D. Currie, Lucas Mol The undirected repetition threshold Alessandro De Luca, Alma D'Aniello Characteristic parameters and special trapezoidal words Francesco Dolce, Dominique Perrin Return words and bifix codes in eventually dendric sets Marisa Gaetz, Caleb Ji Enumeration and Extensions of Word-representable Graphs Cyril Gavoille, Ghazal Kachigar, Gilles Zémor Localisation-Resistant Random Words with Small Alphabet Vladimir Gusev, Elena Pribavkina On codeword lengths guaranteeing synchronization Štěpán Holub Binary intersection revisited Václav Košík, Štěpán Starosta On substitutions closed under derivation: examples Marie Lejeune, Michel Rigo, Matthieu Rosenfeld Templates for the k-binomial complexity of the Tribonacci word Kateřina Medková Derivated sequences of Arnoux--Rauzy sequences Tim Ng, Pascal Ochem, Jeffrey Shallit, Narad Rampersad New results on pseudosquare avoidance Jarkko Peltomäki, Markus Whiteland Every nonnegative real number is a critical abelian exponent Josef Rukavicka Construction Of A Rich Word Containing Given Two Factors Andrew Ryzhikov Mortality and Synchronization of Unambiguous Finite Automata Luigi Santocanale On discrete idempotent paths *WE LOOK FORWARD TO SEE YOU IN Loughborough!!! Robert Mercas and Daniel Reidenbach

5 years, 2 months

PhD position within joint Doctoral College Logical Methods in Computer Science (LogiCS) at TU Wien, Vienna, focused on Formal Methods for large-scale, spatially-distributed, stochastic systems

by Mihaela Rozman

The <http://ti.tuwien.ac.at/> Institute of Computer Engineering at Technische Universität Wien (TU Wien) is seeking a candidate for a research assistant position (PhD student, 4 years). The successful applicant will carry out his/her PhD in the research area of formal methods applied to the specification and monitor of large-scale, spatially-distributed, stochastic systems, contributing to the recently acquired project: High-dimensional statistical learning: new methods to advance economic and sustainability policies. The successful candidate will be a PhD student of the <https://logic-cs.at/phd/> LogiCS Doctoral Program and she/he will be supervised by Prof. <http://www.eziobartocci.com/> Ezio Bartocci and co-supervised by Dr. <https://lauranenzi.github.io/> Laura Nenzi.The application deadline is August 31, 2019. Formal methods provide precise formal specification languages that can be easily interpreted by humans and verification algorithms that can check in an automatic way the value of satisfaction of interesting properties. One of the main problems of such techniques is the curse of dimensionality. A possibility to treat the problem is to use approximate methods such as statistical model checking. However, even these methodologies can be unfeasible for very-large-scale stochastic systems. A new research line consists of exploiting machine learning techniques and Bayesian inference to identify relevant data and decrease the computational cost, permitting the application of such powerful formal analysis on very complex systems. An important aspect that will be covered in the study is the spatial configuration of such systems, a key feature in several real case studies that are considering in the project. The methodology will be principally applied to tackle questions related to sustainable urban mobility and thus responsible consumption. APPLICATION Please submit your application following the instructions in the DK LogiCS admission portal. <https://logic-cs.at/phd/admission/> https://logic-cs.at/phd/admission/, by indicating in the application form: Prof. Ezio Bartocci and Dr. Laura Nenzi as supervisors. While it is not necessary to have the Master degree at the moment of the application, it is instead mandatory to complete it before starting the PhD. Deadline: August 31, 2019 CONTACT DETAILS For further information and inquiries about this post please contact Laura Nenzi, e-mail: <mailto:laura.nenzi@gmail.com> laura.nenzi AT gmail.com About LogiCS The LogiCS doctoral program is a PhD degree program funded by the <http://www.fwf.ac.at/en/> Austrian Science Fund FWF and run jointly by the three Austrian universities <https://www.tuwien.ac.at/en/> TU Wien (Vienna University of Technology), <http://logic-cs.at/phd/organization/> Graz University of Technology and <http://logic-cs.at/phd/organization/> Johannes Kepler University Linz. This program is aimed at highly motivated students who want to work in the field of Logical Methods in Computer Science. Why join the LogiCS program in Austria? Vienna has a <http://logic-cs.at/about-vienna/#logic> prominent history in mathematics, computer science, and logic research ( <http://en.wikipedia.org/wiki/Kurt_G%C3%B6del> Kurt Gödel, <http://en.wikipedia.org/wiki/Vienna_Circle> Vienna Circle, ). Additionally, it has repeatedly been ranked <http://en.wikipedia.org/wiki/Mercer_Quality_of_Living_Survey> number 1 in the Mercer Quality of Living Survey. The LogiCS faculty comprises 15 <http://logic-cs.at/phd/faculty/> renowned researchers with strong records in research, teaching, and advising, complemented by 14 <http://logic-cs.at/phd/faculty/> associated members who further strengthen the research and teaching activities of the college, as well as <http://www.vcla.at/category/talks/> visiting professors and frequent guests. The program is complemented by our facultys participation research initiatives such as the <http://arise.or.at/> Austrian-wide National Research Network on Rigorous Systems Engineering (ARiSE) funded by the Austrian Science Fund, the <http://www.vcla.at/> Vienna Center for Logic and Algorithms (VCLA).

5 years, 2 months

2024

2023

2022

2021

2020

2019

2018

finite-model-theory July 2019