finite-model-theory August 2018

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

4 Teilnehmer
4 Diskussionen

RAMiCS 2018 Call for Participation: Relational and Algebraic Methods in Computer Science

von Walter Guttmann

CALL FOR PARTICIPATION 17th International Conference on Relational and Algebraic Methods in Computer Science RAMiCS 2018 29 October to 1 November 2018, Groningen, The Netherlands http://www.ramics-conference.org/ GENERAL INFORMATION: Recurrent topics of RAMiCS conferences, held since 1994, include semiring- and lattice-based structures such as relation algebras and Kleene algebras, their connections with program logics and other logics, their use in theories of computing, their formalisation with theorem provers, and their application to modelling and reasoning about computing systems and processes. INVITED TALKS: Philippa Gardner (Imperial College London, UK) Scalable reasoning about concurrent programs Manuel Bodirsky (Technische Universität Dresden, Germany) Finite relation algebras with normal representations Roland Backhouse (University of Nottingham, UK) The importance of factorisation in algorithm design ACCEPTED PAPERS: Sarah Alexander, Peter Jipsen and Nadiya Upegui On the structure of generalized effect algebras and separation algebras Callum Bannister and Peter Höfner False failure: creating failure models for separation logic Stefano Bonzio, Michele Pra Baldi and Diego Valota Counting finite linearly ordered involutive bisemilattices Maximiliano Cristiá and Gianfranco Rossi A set solver for finite set relation algebra Jessica Ertel, Roland Glück and Bernhard Möller Algebraic derivation of Until rules and application to timer verification Simon Foster, Kangfeng Ye, Ana Cavalcanti and Jim Woodcock Calculational verification of reactive programs with reactive relations and Kleene algebra Malvin Gattinger and Jana Wagemaker Towards an analysis of dynamic gossip in NetKAT Roland Glück Distances, norms and error propagation in idempotent semirings Maria João Gouveia and Luigi Santocanale MIX star-autonomous quantales and the continuous weak Bruhat order Robin Hirsch Decidability of equational theories for sub-signatures of relation algebra Mark Hopkins and Hans Leiß Coequalizers and tensor products for continuous idempotent semirings Jonathan Huerta y Munive and Georg Struth Verifying hybrid systems with modal Kleene algebra Wolfram Kahl Calculational relation-algebraic proofs in the teaching tool CalcCheck Lefteris Kirousis, Phokion Kolaitis and John Livieratos On the computational complexity of non-dictatorial aggregation Dexter Kozen and Matvey Soloviev Coalgebraic tools for randomness-conserving protocols Nikolai Krivulin Algebraic solution of weighted minimax single-facility constrained location problems Pranab Kumar Ghosh and Michael Winter A modal and relevance logic for qualitative spatial reasoning Hans Leiß and Mark Hopkins C-dioids and µ-continuous Chomsky-algebras Koki Nishizawa and Norihiro Tsumagari Composition of different-type relations via the Kleisli category for the continuation monad Giulia Sindoni, Katsuhiko Sano and John G. Stell Axiomatizing discrete spatial relations Michael Winter T-norm based operations in arrow categories PROGRAMME: http://www.ramics-conference.org/?page_id=270 REGISTRATION (early fee before 15 September 2018): http://www.ramics-conference.org/?page_id=202 COMMITTEES: Organising Committee -------------------- Conference Chair: Stef Joosten, Open Universiteit, The Netherlands PC Co-Chair: Jules Desharnais, Université Laval, Canada PC Co-Chair: Walter Guttmann, University of Canterbury, New Zealand Publicity Chair: Sebastiaan Joosten, Universiteit Twente, The Netherlands Programme Committee ------------------- Luca Aceto, Reykjavík University, Iceland/Gran Sasso Science Institute, Italy Rudolf Berghammer, Christian-Albrechts-Universität zu Kiel, Germany Jules Desharnais, Université Laval, Canada Uli Fahrenberg, École Polytechnique, France Hitoshi Furusawa, Kagoshima University, Japan Walter Guttmann, University of Canterbury, New Zealand Robin Hirsch, University College London, UK Peter Höfner, Data61, CSIRO, Australia Marcel Jackson, La Trobe University, Australia Jean-Baptiste Jeannin, University of Michigan, USA Peter Jipsen, Chapman University, USA Stef Joosten, Open Universiteit, The Netherlands Wolfram Kahl, McMaster University, Canada Barbara König, Universität Duisburg-Essen, Germany Dexter Kozen, Cornell University, USA Agi Kurucz, King's College London, UK Tadeusz Litak, Friedrich-Alexander Universität Erlangen-Nürnberg, Germany Roger Maddux, Iowa State University, USA Annabelle McIver, Macquarie University, Australia Szabolcs Mikulás, Birkbeck, University of London, UK Ali Mili, New Jersey Institute of Technology, USA Bernhard Möller, Universität Augsburg, Germany José N. Oliveira, Universidade do Minho, Portugal Alessandra Palmigiano, Technische Universiteit Delft, The Netherlands Damien Pous, CNRS, France Mehrnoosh Sadrzadeh, Queen Mary University of London, UK John Stell, University of Leeds, UK Georg Struth, University of Sheffield, UK Michael Winter, Brock University, Canada

5 Jahre, 7 Monate

LSFA 2018 - Call for Participation

von Francicleber M. Ferreira

LSFA 2018 - Call for Participation 13th Workshop on Logical and Semantic Frameworks, with Applications 26-28 September 2018 Fortaleza, Brazil www.lia.ufc.br/~lsfa2018 ============================================================================= *** Early Registration Deadline: 31 August 2018 *** *** List of accepted papers and registration information is available at www.lia.ufc.br/~lsfa2018 *** ============================================================================= The LSFA Community invites you to participate in the 13th Workshop on Logic and Semantic Frameworks, with Application, LSFA 2018. Logical and semantic frameworks are formal languages used to represent logics, languages and systems. These frameworks provide foundations for the formal specification of systems and programming languages, supporting tool development and reasoning. Invited Speakers + Amy Felty, University of Ottawa + Andreas Herzig, CNRS, IRIT, Université de Toulouse + Yiannis Moschovakis, University of California, Los Angeles & University of Athens + Alessandra Palmigiano, Delft University of Technology Venue Fortaleza is the state capital of Ceará, and 5th most preferred touristic destination in Brazil. The conference will be hosted by the Department of Computer Science of the Federal University of Ceará. Find more info on the event's webpage: www.lia.ufc.br/~lsfa2018 Contact lsfa2018 at lia [d] ufc [d] br

5 Jahre, 7 Monate

Möglichkeit der Promotion

von Dietrich Kuske

Ausschreibung (siehe auch https://www.tu-ilmenau.de/al/) An der Fakultät für Informatik und Automatisierung ist im Fachgebiet Automaten und Logik (Fachgebietsleiter Prof. Dr. Dietrich Kuske) zum 1. Oktober 2018 eine Stelle als wissenschaftliche/r Mitarbeiter/in für 3 Jahre zu besetzen. Die Vergütung erfolgt nach den Bestimmungen der Tarifverträge für den öffentlichen Dienst der Länder (TV-L). Die Stelle ist mit Entgeltgruppe E 13 bewertet. Aufgabengebiete • Es sollen Forschungsarbeiten an der Schnittstelle von Automatentheorie und Logik bearbeitet werden. • Es soll die Lehre im gesamten vom Fachgebiet angebotenen Spektrum, insbesondere zur Automatentheorie und zur Logik in der Informatik, unterstützt werden (Vorbereitung und Durchführung von Übungen; Betreuung von Bachelor- und Masterarbeiten; Unterstützung bei der Durchführung von Prüfungen). • Die Übernahme von organisatorischen und Selbstverwaltungsaufgaben im üblichen Rahmen wird erwartet. Einstellungsvoraussetzungen Wir erwarten von Ihnen: • einen sehr guten wissenschaftlichen Hochschulabschluss in Informatik oder Mathematik • sehr gute Kenntnisse in Theoretischer Informatik, vorzugsweise in der Automatentheorie oder der Logik • Fähigkeit zur Veröffentlichung und Präsentation von Forschungsergebnissen im internationalen Rahmen • Bereitschaft zur selbständigen wissenschaftlichen Tätigkeit mit dem Ziel der Weiterqualifikation • sehr gute Deutschkenntnisse Die befristete Beschäftigung erfolgt zur Förderung der eigenen wissenschaftlichen Qualifizierung (Promotion). Die TU Ilmenau ist Träger des TOTAL E-Quality-Prädikats. Sie fordert Frauen nachdrücklich zur Bewerbung auf. Schwerbehinderte haben bei gleicher Eignung, Befähigung und fachlicher Qualifikation Vorrang bei der Einstellung. Bewerbungen mit den üblichen Unterlagen (Bewerbungsschreiben, Lebenslauf, Zeugniskopien, ggf. Referenzen) richten Sie bitte unter der Kennziffer 73/2018 an die Technische Universität Ilmenau Dezernat für Personal und Recht Postfach 10 05 65 98684 Ilmenau Deutschland bzw. an: bewerbung(a)tu-ilmenau.de. (Anlagen bitte im pdf-Format zusammengefasst in einer Datei anfügen) Eingehende Bewerbungen werden bis zum 1. September 2018 berücksichtigt. Für weitere Informationen können Sie sich gerne an Professor Kuske (dietrich.kuske(a)tu-ilmenau.de), wenden (auch telefonisch unter 03677 691444). Aus Kostengründen wird darum gebeten, die Bewerbungsunterlagen in Kopie einzureichen. Diese verbleiben bei der TU Ilmenau und werden nicht zurückgesandt. Nach Abschluss des Stellenbesetzungsverfahrens werden die Unterlagen nicht berücksichtigter Bewerber/-innen vernichtet. Bei gewünschter Rücksendung der Unterlagen bitten wir, der Bewerbung einen adressierten und ausreichend frankierten Rückumschlag beizufü- gen. Die Ihnen durch die Bewerbung entstandenen Kosten werden durch die TU Ilmenau nicht übernommen. -- Prof. Dr. Dietrich Kuske | FG Automaten und Logik | Tel +49 (0)3677 69 1444 TU Ilmenau | dietrich.kuske(a)tu-ilmenau.de PF 10 05 65 | http://eiche.theoinf.tu-ilmenau.de/kuske D-98684 Ilmenau | www.kleines-paradies-buelow.de

5 Jahre, 8 Monate

CSL 2018 - Final Call for Participation

von EACSL

Final Call for Participation ======================================== Computer Science Logic 2018 Birmingham, United Kingdom 4–7 September <http://events.cs.bham.ac.uk/csl18/> ======================================== ** The early bird registration period has been extended till 7 August ** The European Association for Computer Science Logic and the School of Computer Science of the University of Birmingham kindly invite you to take part in the 2018 edition of CSL. The day after the conference, there will be a free workshop honouring Achim Jung on occasion of his 60th birthday. # The Conference 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. CSL 2018 will be the 27th edition in the series. ## Invited Speakers * Bob Coecke — University of Oxford * Emmanuel Filiot — Université Libre de Bruxelles * Catuscia Palamidessi — École Polytechnique * Christine Tasson — Université Paris Diderot * Szymon Toruńczyk — Uniwersytet Warszawksi ## Programme Thirty-six contributions were selected for presentation at CSL 2018. A full listing is available at <http://events.cs.bham.ac.uk/csl18/acceptedpapers/> A preliminary programme has also been published. # Achim Jung Fest — “An Intersection of Neighborhoods” (8 Sep) For thirty years, Achim Jung has been at the forefront of research in the fields of Programming Language Semantics, Topological Logic, and, more broadly, the intersection of Computer Science, Logic, and Mathematics. The day following CSL there will be a workshop in commemoration of his career on occasion of his 60th birthday. For more information, please see <http://events.cs.bham.ac.uk/csl18/AJFest/> ## Invited Speakers * Samson Abramsky — University of Oxford * Thorsten Altenkirch — University of Nottingham * Mai Gehrke — Université Côte d'Azur * Michael Huth — Imperial College * Ho Weng Kin — Nanyang Technological University * Jimmie Lawson — Louisiana State University * Michael Mislove — Tulane University * Frank Pfenning — Carnegie Mellon University * Alex Simpson — University of Ljubljana # Registration The fees for the conference and associated events are ------------------------------------------- ------- Early Bird Conference (Standard) £300 Early Bird Conference (Student) £240 Regular Conference (after 7 August) £350 Conference Dinner £48 Excursion Black Country Living Museum £32 Achim Jung Fest *free* ------------------------------------------- ------- To register, please follow the link and information provided on the CSL website <http://events.cs.bham.ac.uk/csl18> For any questions please contact Dan R. Ghica <D.R.Ghica(a)cs.bham.ac.uk>

5 Jahre, 8 Monate

2024

2023

2022

2021

2020

2019

2018

finite-model-theory August 2018