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

Logica Universalis Webinar - August 18 - Logical constants in abstract frameworks and A Note on Logicality of Generalized Quantifiers by Tin Perkov
by Antje Herbst 16 Aug '21

16 Aug '21

Join the Logica Universalis Webinar! The next session will be held on Wednesday, August 18 at 4pm CEST with the talk Logical constants in abstract frameworks<https://link.springer.com/article/10.1007/s11787-018-0206-7> and A Note on Logicality of Generalized Quantifiers<https://link.springer.com/article/10.1007/s11787-021-00271-8> Tin Perkov<https://urldefense.proofpoint.com/v2/url?u=https-3A__sites.google.com_site_…> (University of Zagreb, Croatia) Chair: Srećko Kovač<https://urldefense.proofpoint.com/v2/url?u=https-3A__www.ifzg.hr_-7Eskovac_…>, Editorial Board LU Associate Organization: Croatian Logic Association<https://urldefense.proofpoint.com/v2/url?u=https-3A__www.hlu-2Dcla.com_&d=D…> presented by its president Srećko Kovač<https://urldefense.proofpoint.com/v2/url?u=https-3A__www.ifzg.hr_-7Eskovac_…> The Logica Universalis Webinar is a World Seminar Series connected to the journal Logica Universalis<https://www.springer.com/journal/11787/>, the book series Studies in Universal Logic<https://www.springer.com/series/7391> and the Universal Logic Project<https://logica-universalis.org/>. It is an open platform for all scholars interested in the many aspects of logic. (See the full program here<https://www.springer.com/journal/11787/updates/18988758>.) The sessions take place on Wednesdays at 4pm CEST (click here<https://www.timeanddate.com/worldclock/fixedtime.html?msg=Logica+Universali…> to convert to your timezone). They are held via Zoom and are free to attend. Please register in advance. Registration is now open!<https://springer.zoom.us/meeting/register/tJMvdu6vrzMiHda_iDhjxw9vA9d7we9gT…> Each session of the webinar is chaired by a member of the editorial board of the journal Logica Universalis (LU), the book series Studies in Universal Logic (SUL) or an organizer of an event of the Universal Logic Project (ULP). Sessions will start with a short presentation of a logical organization related to the region of the speaker or the topic of the talk. The talk (30 min) will focus on a recently published paper in LU, on a book in SUL, on an event or on the ULP. Talks are followed by a discussion (15 min). Video recordings of the seminars are uploaded on the YouTube channel Universal Logic Project<https://www.youtube.com/channel/UCPS1c5ApuwjuCV9UjXHUN4w>. --- To unsubscribe from these notifications for the Logica Universalis Webinar please send a message with 'Unsubscribe' to this e-mail address (antje.herbst(a)springernature.com<mailto:antje.herbst@springernature.com>). -- Antje Herbst Associate Editor Mathematics Journals Springer Nature Tiergartenstraße 17, 69121 Heidelberg, Germany T +49 62214878984 antje.herbst(a)springernature.com<mailto:antje.herbst@springernature.com> www.springernature.com<http://www.springernature.com/> -- Springer Nature is a leading research, educational and professional publisher, providing quality content to our communities through a range of innovative platforms, products and services. Every day, around the globe, our imprints, books, journals and resources reach millions of people - helping researchers, students, teachers & professionals to discover, learn and achieve. -- Branch of Springer-Verlag GmbH, Heidelberger Platz 3, 14197 Berlin, Germany Registered Office: Berlin / Amtsgericht Berlin-Charlottenburg, HRB 91881 B Directors: Martin Mos, Dr. Ulrich Vest, Dr. Niels Peter Thomas

1 0

Yale Weiss / Saul Kripke Center / Mel Fitting / LUWebinar today at 16 pm CET
by jean-yves beziau 11 Aug '21

11 Aug '21

Today Wednesday August 11 at 16h (Paris-Madrid-Geneva-Rome-Berlin-Stockholm-Warsaw) at the Logica Universalis Webinar (LUW) a talk by Yale Weiss based on his paper recently published in Logica Universalis A Reinterpretation of the Semilattice Semantics with Applications https://link.springer.com/article/10.1007/s11787-021-00273-6 Before the talk, as usual in the LUW, there will be a presentation of a logical organization related to the talk and/or the speaker. Today it will be the Saul Kripke Center presented by its director, Romina Padro https://saulkripkecenter.org/index.php/staff/ The session will be chaired by Melving Fitting, member of the editorial board of Logica Universalis http://melvinfitting.org/ To registrate/attend see here: https://www.springer.com/journal/11787/updates/18988758 Best Wishes >--------------------------------------------------------------- Prof. Dr. Dr. Jean-Yves Beziau Organizer of LUW and President of LUA http://www.logica-universalis.org/LUAD

1 0

PhD positions in Computer Science and Artificial Intelligence at DISI - University of Trento
by Marco Roveri 10 Aug '21

10 Aug '21

1 0

Logica Universalis Webinar - August 11 - A Reinterpretation of the Semilattice Semantics with Applications by Yale Weiss
by Antje Herbst 10 Aug '21

10 Aug '21

Join the Logica Universalis Webinar! The next session will be held on Wednesday, August 11 at 4pm CEST with the talk A Reinterpretation of the Semilattice Semantics with Applications<https://link.springer.com/article/10.1007/s11787-021-00273-6> Yale Weiss<https://urldefense.proofpoint.com/v2/url?u=https-3A__yaleweiss.commons.gc.c…> (City University of New York, USA) Chair: Melvin Fitting<https://urldefense.proofpoint.com/v2/url?u=https-3A__en.wikipedia.org_wiki_…>, Editorial Board LU Associate Organization: Saul Kripke Center<https://urldefense.proofpoint.com/v2/url?u=https-3A__saulkripkecenter.org_&…> The Logica Universalis Webinar is a World Seminar Series connected to the journal Logica Universalis<https://www.springer.com/journal/11787/>, the book series Studies in Universal Logic<https://www.springer.com/series/7391> and the Universal Logic Project<https://logica-universalis.org/>. It is an open platform for all scholars interested in the many aspects of logic. (See the full program here<https://www.springer.com/journal/11787/updates/18988758>.) The sessions take place on Wednesdays at 4pm CEST (click here<https://www.timeanddate.com/worldclock/fixedtime.html?msg=Logica+Universali…> to convert to your timezone). They are held via Zoom and are free to attend. Please register in advance. Registration is now open!<https://springer.zoom.us/meeting/register/tJMvdu6vrzMiHda_iDhjxw9vA9d7we9gT…> Each session of the webinar is chaired by a member of the editorial board of the journal Logica Universalis (LU), the book series Studies in Universal Logic (SUL) or an organizer of an event of the Universal Logic Project (ULP). Sessions will start with a short presentation of a logical organization related to the region of the speaker or the topic of the talk. The talk (30 min) will focus on a recently published paper in LU, on a book in SUL, on an event or on the ULP. Talks are followed by a discussion (15 min). Video recordings of the seminars are uploaded on the YouTube channel Universal Logic Project<https://www.youtube.com/channel/UCPS1c5ApuwjuCV9UjXHUN4w>. --- To unsubscribe from these notifications for the Logica Universalis Webinar please send a message with 'Unsubscribe' to this e-mail address (antje.herbst(a)springernature.com<mailto:antje.herbst@springernature.com>). -- Antje Herbst Associate Editor Mathematics Journals Springer Nature Tiergartenstraße 17, 69121 Heidelberg, Germany T +49 62214878984 antje.herbst(a)springernature.com<mailto:antje.herbst@springernature.com> www.springernature.com<http://www.springernature.com/> -- Springer Nature is a leading research, educational and professional publisher, providing quality content to our communities through a range of innovative platforms, products and services. Every day, around the globe, our imprints, books, journals and resources reach millions of people - helping researchers, students, teachers & professionals to discover, learn and achieve. -- Branch of Springer-Verlag GmbH, Heidelberger Platz 3, 14197 Berlin, Germany Registered Office: Berlin / Amtsgericht Berlin-Charlottenburg, HRB 91881 B Directors: Martin Mos, Dr. Ulrich Vest, Dr. Niels Peter Thomas

1 0

RAMiCS 2021 - Call for short contributions/posters
by luigi.santocanale＠lis-lab.fr 26 Jul '21

26 Jul '21

CALL FOR SHORT CONTRIBUTIONS / POSTERS 19th International Conference on Relational and Algebraic Methods in Computer Science RAMiCS 2021 2 to 5 November 2021, Marseille, France https://ramics19.lis-lab.fr/ Additionally to the standard CfP, RAMiCS is also calling for short contributions and posters. We are hence calling for presentations of original, unfinished, already published, or otherwise interesting work within the topics of the RAMiCS conferences. The submission can be in the form of a poster, an abstract, a paper submitted to or published at another conference, etc. Short contributions will *not* be published in the conference proceedings. IMPORTANT DATES: Submission: 29 August 2021 Notification: 5 September 2021 RAMiCS registration: 12 September 2021 INVITED SPEAKERS: Marcelo Frias, Instituto Tecnológico de Buenos Aires, Argentina Barbara König, Universität Duisburg-Essen, Germany Dmitriy Zhuk, Moscow State University, Russia 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 short 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 SUBMISSION INSTRUCTIONS: Please send your short submission as a single pdf file to ramics2021(a)easychair.org by 29 August 2021. ORGANIZERS: Luigi Santocanale, Aix-Marseille University, France Uli Fahrenberg, École polytechnique, France Mai Gehrke, Université Côte d’Azur, France Michael Winter, Brock University, Canada

1 0

Postdoctoral position on verification of concurrent systems via model learning, Royal Holloway University of London, Deadline: 31 Aug 2021
by Matteo Sammartino 26 Jul '21

26 Jul '21

- Application deadline: Midnight, 31 Aug 2021 - Interview Date: To be confirmed - Starting date: 1 Oct 2021, or as soon as possible thereafter - Salary: £35,931-£37,979 - Duration: until February 2023 Applications are invited for the post of Post-Doctoral Research Assistant in the Computer Science Department at Royal Holloway, University of London. Successful applicants will be working on the EPSRC-funded "Verification of Hardware Concurrency via Model Learning" (CLeVer) project (EP/S028641/1), led by Alexandra Silva (UCL) and Matteo Sammartino (Royal Holloway, University of London). This is a joint research endeavour involving Royal Holloway University of London, University College London, and ARM, world-leading designer of multi-core chips. For an informal discussion about the post, please contact Dr. Matteo Sammartino on Matteo.Sammartino(a)rhul.ac.uk. # Project Description Digital devices increasingly rely on multi-threaded computation, with sophisticated concurrent behaviour becoming prevalent at any scale. As the complexity of these systems increases, there is a pressing need to automate the assessment of their correctness, especially with respect to concurrency-related aspects. Formal verification provides highly effective techniques to assess the correctness of systems. However, formal models are usually built by humans, and as such can be error-prone and inaccurate. The CLeVer project aims to: - develop a novel verification framework that relies on learning techniques to automatically build and verify models of concurrency, with a particular focus on multi-core systems. - apply the framework to real-world verification tasks, in collaboration with ARM. # The ideal candidate We are looking for candidates with a PhD in one of the following areas: model-based testing and verification, formal methods for concurrency, automated analysis of hardware systems. Experience in multiple areas will be valued. Candidates ideally should also have strong programming skills. # Where to apply https://jobs.royalholloway.ac.uk/vacancy.aspx?ref=0721-259

1 0

Logica Universalis Webinar - July 21 - A Venn Diagram System for Universe Without Boundary by Reetu Bhattacharjee
by Antje Herbst 20 Jul '21

20 Jul '21

Join the Logica Universalis Webinar! The next session will be held on Wednesday, July 21 at 4pm CEST with the talk A Venn Diagram System for Universe Without Boundary<https://link.springer.com/article/10.1007/s11787-019-00227-z> Reetu Bhattacharjee<https://urldefense.proofpoint.com/v2/url?u=https-3A__www.researchgate.net_s…> (Jadavpur University, Kolkata, West Bengal, India) Chair: Raja Natarajan<https://urldefense.proofpoint.com/v2/url?u=http-3A__www.tcs.tifr.res.in_-7E…>, Editorial Board LU Associate Organization: Calcutta Logic Circle<https://urldefense.proofpoint.com/v2/url?u=https-3A__sites.google.com_view_…> Presented by its president Mihir Chakraborty<https://urldefense.proofpoint.com/v2/url?u=https-3A__sites.google.com_site_…> The Logica Universalis Webinar is a World Seminar Series connected to the journal Logica Universalis<https://www.springer.com/journal/11787/>, the book series Studies in Universal Logic<https://www.springer.com/series/7391> and the Universal Logic Project<https://logica-universalis.org/>. It is an open platform for all scholars interested in the many aspects of logic. (See the full program here<https://www.springer.com/journal/11787/updates/18988758>.) The sessions take place on Wednesdays at 4pm CEST (click here<https://www.timeanddate.com/worldclock/fixedtime.html?msg=Logica+Universali…> to convert to your timezone). They are held via Zoom and are free to attend. Please register in advance. Registration is now open!<https://springer.zoom.us/meeting/register/tJMvdu6vrzMiHda_iDhjxw9vA9d7we9gT…> Each session of the webinar is chaired by a member of the editorial board of the journal Logica Universalis (LU), the book series Studies in Universal Logic (SUL) or an organizer of an event of the Universal Logic Project (ULP). Sessions will start with a short presentation of a logical organization related to the region of the speaker or the topic of the talk. The talk (30 min) will focus on a recently published paper in LU, on a book in SUL, on an event or on the ULP. Talks are followed by a discussion (15 min). Video recordings of the seminars are uploaded on the YouTube channel Universal Logic Project<https://www.youtube.com/channel/UCPS1c5ApuwjuCV9UjXHUN4w>. --- To unsubscribe from these notifications for the Logica Universalis Webinar please send a message with 'Unsubscribe' to this e-mail address (antje.herbst(a)springernature.com<mailto:antje.herbst@springernature.com>). -- Antje Herbst Associate Editor Mathematics Journals Springer Nature Tiergartenstraße 17, 69121 Heidelberg, Germany T +49 62214878984 antje.herbst(a)springernature.com<mailto:antje.herbst@springernature.com> www.springernature.com<http://www.springernature.com/> -- Springer Nature is a leading research, educational and professional publisher, providing quality content to our communities through a range of innovative platforms, products and services. Every day, around the globe, our imprints, books, journals and resources reach millions of people - helping researchers, students, teachers & professionals to discover, learn and achieve. -- Branch of Springer-Verlag GmbH, Heidelberger Platz 3, 14197 Berlin, Germany Registered Office: Berlin / Amtsgericht Berlin-Charlottenburg, HRB 91881 B Directors: Martin Mos, Dr. Ulrich Vest, Dr. Niels Peter Thomas

1 0

Logica Universalis Webinar - July 14 - From Necessary Truths to Feelings: The Foundations of Mathematics in Leibniz and Schopenhauer by Laura Follesa
by Antje Herbst 12 Jul '21

12 Jul '21

Join the Logica Universalis Webinar! The next session will be held on Wednesday, July 14 at 4pm CEST with the talk From Necessary Truths to Feelings: The Foundations of Mathematics in Leibniz and Schopenhauer (Chapter of Language, Logic, and Mathematics in Schopenhauer<https://www.springer.com/gp/book/9783030330897>) Laura Follesa<https://urldefense.proofpoint.com/v2/url?u=http-3A__www.proteus-2Dpmte.eu_t…> (University of Barcelona, Spain) Chair: Francesco Paoli<https://urldefense.proofpoint.com/v2/url?u=https-3A__people.unica.it_alophi…>, Editorial Board SUL and Dana Knowles<https://www.springer.com/gp/authors-editors/dana-knowles/17964590>, Publishing Editor SUL, Springer Nature Associate Organization: Schopenhauer Society<https://urldefense.proofpoint.com/v2/url?u=http-3A__schopenhauer.de_gesells…> Presented by its president Matthias Kossler<https://urldefense.proofpoint.com/v2/url?u=https-3A__www.philosophie.fb05.u…> and Jens Lemanski<https://www.fernuni-hagen.de/philosophie/lg1/team/jens.lemanski.shtml>, Editor of Language, Logic, and Mathematics in Schopenhauer<https://www.springer.com/gp/book/9783030330897> The Logica Universalis Webinar is a World Seminar Series connected to the journal Logica Universalis<https://www.springer.com/journal/11787/>, the book series Studies in Universal Logic<https://www.springer.com/series/7391> and the Universal Logic Project<https://logica-universalis.org/>. It is an open platform for all scholars interested in the many aspects of logic. (See the full program here<https://www.springer.com/journal/11787/updates/18988758>.) The sessions take place on Wednesdays at 4pm CEST (click here<https://www.timeanddate.com/worldclock/fixedtime.html?msg=Logica+Universali…> to convert to your timezone). They are held via Zoom and are free to attend. Please register in advance. Registration is now open!<https://springer.zoom.us/meeting/register/tJMvdu6vrzMiHda_iDhjxw9vA9d7we9gT…> Each session of the webinar is chaired by a member of the editorial board of the journal Logica Universalis (LU), the book series Studies in Universal Logic (SUL) or an organizer of an event of the Universal Logic Project (ULP). Sessions will start with a short presentation of a logical organization related to the region of the speaker or the topic of the talk. The talk (30 min) will focus on a recently published paper in LU, on a book in SUL, on an event or on the ULP. Talks are followed by a discussion (15 min). Video recordings of the seminars are uploaded on the YouTube channel Universal Logic Project<https://www.youtube.com/channel/UCPS1c5ApuwjuCV9UjXHUN4w>. --- To unsubscribe from these notifications for the Logica Universalis Webinar please send a message with 'Unsubscribe' to this e-mail address (antje.herbst(a)springernature.com<mailto:antje.herbst@springernature.com>). -- Antje Herbst Associate Editor Mathematics Journals Springer Nature Tiergartenstraße 17, 69121 Heidelberg, Germany T +49 62214878984 antje.herbst(a)springernature.com<mailto:antje.herbst@springernature.com> www.springernature.com<http://www.springernature.com/> -- Springer Nature is a leading research, educational and professional publisher, providing quality content to our communities through a range of innovative platforms, products and services. Every day, around the globe, our imprints, books, journals and resources reach millions of people - helping researchers, students, teachers & professionals to discover, learn and achieve. -- Branch of Springer-Verlag GmbH, Heidelberger Platz 3, 14197 Berlin, Germany Registered Office: Berlin / Amtsgericht Berlin-Charlottenburg, HRB 91881 B Directors: Martin Mos, Dr. Ulrich Vest, Dr. Niels Peter Thomas

1 0

PhD positions in Computer Science and Artificial Intelligence for ERC AdG WhiteMech
by Marco Roveri 07 Jul '21

07 Jul '21

1 0

FSCD 2021: Final Call for (Online) Participation (closing on Sun, July 11)
by Carsten Fuhs 06 Jul '21

06 Jul '21

CALL FOR PARTICIPATION Sixth International Conference on Formal Structures for Computation and Deduction (FSCD 2021) July 17 – July 24, 2021, Buenos Aires, Argentina https://fscd2021.dc.uba.ar/ In-cooperation with ACM SIGLOG and SIGPLAN The 2021 edition of FSCD and of its satellite workshops will be held online. Participation will, a priori, be free of charge, unless we receive way too many requests, in which case we will invite those who can to pay the modest amount of 7 USD. FSCD covers all aspects of formal structures for computation and deduction from theoretical foundations to applications. Building on two communities, RTA (Rewriting Techniques and Applications) and TLCA (Typed Lambda Calculi and Applications), FSCD embraces their core topics and broadens their scope to closely related areas in logics, models of computation (e.g., quantum computing, probabilistic computing, homotopy type theory), semantics and verification in new challenging areas (e.g., blockchain protocols or deep learning algorithms). REGISTRATION --------------- The registration page is already open and linked from: https://fscd2021.dc.uba.ar/registration.html This link should be used also to register for affiliated workshops. Registration is open until July 11. FSCD 2021 will run over the Clowdr platform. After the registration is closed, you will receive an invitation link and instructions on how to participate. INVITED SPEAKERS ---------------- - Zena M. Ariola https://ix.cs.uoregon.edu/~ariola/ - Nao Hirokawa https://www.jaist.ac.jp/~hirokawa/ - Elaine Pimentel https://sites.google.com/site/elainepimentel/ - Sam Staton https://www.cs.ox.ac.uk/people/samuel.staton/main.html FSCD AFFILIATED WORKSHOPS: -------------------------- - HoTT/UF (6th Workshop on Homotopy Type Theory/Univalent Foundations, July 17-18) - ITRS (10th Workshop on Intersection Types and Related Systems, July 17) - WPTE (7th International Workshop on Rewriting Techniques for Program Transformations and Evaluation, July 18) - UNIF (35th International Workshop on Unification, July 18) - LSFA (16th Logical and Semantics Frameworks with Applications, July 23-24) - IWC (10th International Workshop on Confluence, July 23) - IFIP WG 1.6 (24th meeting of the IFIP Working Group 1.6: Rewriting, July 24) PROGRAM COMMITTEE CHAIR ----------------------- Naoki Kobayashi, The University of Tokyo fscd2021(a)easychair.org PROGRAM COMMITTEE ----------------- Mauricio Ayala-Rincón, Universidade de Brasília Stefano Berardi, University of Torino Frédéric Blanqui, INRIA Eduardo Bonelli, Stevens Institute of Technology Évelyne Contejean, CNRS, Université Paris-Saclay Thierry Coquand, University of Gothenburg Thomas Ehrhard, Université de Paris, CNRS Santiago Escobar, Univ. Politècnica de València José Espírito Santo, University of Minho Claudia Faggian, Université de Paris, CNRS Amy Felty, University of Ottawa Santiago Figueira, Universidad de Buenos Aires Marcelo Fiore, University of Cambridge Marco Gaboardi, Boston University Silvia Ghilezan, University of Novi Sad Ichiro Hasuo, National Institute of Informatics Delia Kesner, Université de Paris Robbert Krebbers, Radboud University Nijmegen Temur Kutsia, Johannes Kepler University Linz Barbara König, University of Duisburg-Essen Marina Lenisa, University of Udine Naoki Nishida, Nagoya University Luke Ong, University of Oxford Paweł Parys, University of Warsaw Jakob Rehof, TU Dortmund University Camilo Rocha, Pontificia Univ. Javeriana Cali Alexandra Silva, University College London Alwen Tiu, Australian National University Sarah Winkler, University of Verona Hongseok Yang, KAIST, South Korea CONFERENCE CHAIR ---------------- Alejandro Díaz-Caro, Quilmes Univ. & ICC/CONICET ORGANIZING COMMITTEE -------------------- Mauricio Ayala-Rincón (Workshops co-chair), Universidade de Brasília Santiago Figueira, Universidad de Buenos Aires & ICC Malena Ivnisky (Virtualization co-chair), Universidad de Buenos Aires & ICC Mauro Jaskelioff, Universidad Nacional de Rosario & CIFASIS Carlos López Pombo (Workshops co-chair), Universidad de Buenos Aires & ICC Ricardo Rodríguez (Virtualization co-chair), Universidad de Buenos Aires & ICC Rafael Romero (Virtualization co-chair), Universidad de Buenos Aires & ICC Nora Szasz, Universidad ORT Uruguay Beta Ziliani, Universidad Nacional de Córdoba FSCD STEERING COMMITTEE ----------------------- Zena M. Ariola, University of Oregon Mauricio Ayala-Rincón, University of Brasilia Carsten Fuhs (Publicity Chair), Birkbeck, University of London Herman Geuvers, Radboud University Silvia Ghilezan, University of Novi Sad Stefano Guerrini, University of Paris 13 Delia Kesner (SC Chair), University of Paris Diderot Hélène Kirchner, Inria Cynthia Kop, Radboud University Damiano Mazza, University of Paris 13 Luke Ong, Oxford University Jakob Rehof, TU Dortmund Jamie Vicary (SC Workshop Chair), Oxford University

1 0