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

Learning and Automata (LearnAut) 2024 -- ICALP 2024 workshop, last
by Sammartino, Matteo 19 Apr '24

19 Apr '24

Learning and Automata (LearnAut) -- ICALP 2024 workshop July 7th - Tallinn, Estonia Website: https://learnaut24.github.io/ Deadline: Extended to April 25 Submission portal: https://easychair.org/conferences/?conf=learnaut2024 Learning models defining recursive computations, like automata and formal grammars, are the core of the field called Grammatical Inference (GI). The expressive power of these models and the complexity of the associated computational problems are major research topics within mathematical logic and computer science. Historically, there has been little interaction between the GI and ICALP communities, though recently some important results started to bridge the gap between both worlds, including applications of learning to formal verification and model checking, and (co-)algebraic formulations of automata and grammar learning algorithms. The aim of this workshop is to bring together experts on logic who could benefit from grammatical inference tools, and researchers in grammatical inference who could find in logic and verification new fruitful applications for their methods. We invite submissions of recent work, including preliminary research, related to the theme of the workshop. The Program Committee will select a subset of the abstracts for oral presentation. At least one author of each accepted abstract is expected to represent it at the workshop. Note that accepted papers will be made available on the workshop website but will not be part of formal proceedings (i.e., LearnAut is a non-archival workshop). Topics of interest include (but are not limited to): - Computational complexity of learning problems involving automata and formal languages. - Algorithms and frameworks for learning models representing language classes inside and outside the Chomsky hierarchy, including tree and graph grammars. - Learning problems involving models with additional structure, including numeric weights, inputs/outputs such as transducers, register automata, timed automata, Markov reward and decision processes, and semi-hidden Markov models. - Logical and relational aspects of learning and grammatical inference. - Theoretical studies of learnable classes of languages/representations. - Relations between automata or any other models from language theory and deep learning models for sequential data. - Active learning of finite state machines and formal languages. - Methods for estimating probability distributions over strings, trees, graphs, or any data used as input for symbolic models. - Applications of learning to formal verification and (statistical) model checking. - Metrics and other error measures between automata or formal languages. ** Program Committee ** Dana Angluin (Yale University, United States) Johanna Björklund (Umeå University, Sweden) Benedikt Bollig (LSV, ENS Cachan, CNRS, France) Tiago Ferreira (University College London, United Kingdom) Jeffrey Heinz (Stony Brook University) Colin de la Higuera (Université de Nantes, France) Falk Howar (TU Dortmund, Germany) Maude Lizaire (Mila, Canada) Mohammad Mousavi (King’s College London) Andrea Pferscher (University of Oslo, Norway) Guillaume Rabusseau (McGill University) Jurriaan Rot (Radboud University Nijmegen, the Netherlands) Ariadna Quattoni (Universitat Politècnica de Catalunya, Spain) Sergio Yovine (Universidad ORT, Uruguay) ** Invited Speakers ** Bernhard Aichernig (TU Graz) Ryan Cotterell (ETH Zürich) ** Submission instructions ** Submissions in the form of anonymized extended abstracts must be at most 8 single-column pages long (plus at most four for bibliography and possible appendixes) and must be submitted in the JMLR/PMLR format. The LaTeX style file is available here: https://ctan.org/tex-archive/macros/latex/contrib/jmlr We do accept submissions of work recently published, currently under review or work-in-progress. - Submission url: https://easychair.org/conferences/?conf=learnaut2024 - Submission deadline: April 25 - Notification of acceptance: May 13 - Early registration: May 17 (ICALP) - Workshop: July 7 ** Organizers ** Sophie Fortz (King's College London, UK) Franz Mayr (Universidad ORT Uruguay, UY) Joshua Moerman (Open Universiteit, Heerlen, NL) Matteo Sammartino (Royal Holloway, University of London, UK) This email, its contents and any attachments are intended solely for the addressee and may contain confidential information. In certain circumstances, it may also be subject to legal privilege. Any unauthorised use, disclosure, or copying is not permitted. If you have received this email in error, please notify us and immediately and permanently delete it. Any views or opinions expressed in personal emails are solely those of the author and do not necessarily represent those of Royal Holloway, University of London. It is your responsibility to ensure that this email and any attachments are virus free.

1 0

IJCAR 2024: Call for Participation
by Peter Lammich 18 Apr '24

18 Apr '24

[Apologies for multiple copies of this announcement] --------------------------------------------------------------------------- IJCAR 2024 - The 12th International Joint Conference on Automated Reasoning Nancy, France, July 1-6, 2024 https://ijcar2024.loria.fr Call for Participation --------------------------------------------------------------------------- IJCAR is the premier international joint conference on all topics in automated reasoning. The IJCAR technical programme will consist of presentations of high-quality regular research papers, short papers, and invited talks. IJCAR 2024 is a merger of leading events in automated reasoning: CADE (Conference on Automated Deduction), FroCoS (Workshop on Frontiers of Combining Systems), and TABLEAUX (Conference on Analytic Tableaux and Related Methods) The 2024 edition of the SAT/SMT/AR summer school will take place in Nancy during the week preceding IJCAR 2024. For details, see https://sat-smt-ar-school.gitlab.io/www/2024/ IJCAR 2024 deadlines (all deadlines are firm, CET): * early registration: until June 4. * late registration: from June 5 to June 24. Registration, accommodation, and travel/visa information for IJCAR 2024 and the associated events can be found on the web site. --------------------------------------------------------------------------- Scientific Program ------------------ + Presentation of 3 invited talks + Presentation of 39 regular research papers + Presentation of 6 short papers + Presentation of the Herbrand Award to Armin Biere + 10 workshops, 2 competitions. --------------------------------------------------------------------------- Invited Speakers ---------------- + Jeremy Avigad, Carnegie Mellon University, USA + Laura Kovacs, TU Wien, Austria + Geoff Sutcliffe, University of Miami, USA --------------------------------------------------------------------------- Workshops, Competitions ----------------------- There will be ten workshops and two system competitions associated with IJCAR 2024. See their individual web sites, linked from IJCAR 2024 web site for more information. + Workshops, July 1 - ARQNL, the 5th International Workshop on Automated Reasoning in Quantified Non-Classical Logics - Quantify, the International Workshop on Quantification - TPTP tea party - Vampire, the 8th Vampire workshop - IFIP WG 1.6, a meeting of the IFIP Working Group 1.6 on Rewriting (presentations by invitation only, attendance open). + Workshops, July 2 - PAAR, the 9th International Workshop on Practical Aspects of Automated Reasoning - SC square, the Workshop on Satisfiability Checking and Symbolic Computation - ThEdu, the 13th International Workshop on Theorem Proving Components for Educational Software - UNIF, the 38th International Workshop on Unification - WAIT, the International Workshop on Automated (Co)Inductive Theorem Proving + Competitions - CASC-J12, the CADE ATP System Competition - Termination and Complexity Competition 2024 --------------------------------------------------------------------------- Social Events ------------- + Welcome reception on July 2 + Conference banquet on July 4 --------------------------------------------------------------------------- Registration ------------ For online registration to IJCAR 2024, please follow the link on the web site athttps://ijcar2024.loria.fr/page/registration The deadline for early registration is June 4. Late rates apply for those who register between June 5 and June 24. Registration will be closed after June 24. --------------------------------------------------------------------------- Accommodation ------------- Blocks of rooms have been booked at several hotels in the city centre. Please note that the rooms are only blocked until May 31, after which date the availability or prices of rooms may change. For details, seehttps://ijcar2024.loria.fr/page/accommodation --------------------------------------------------------------------------- For all enquiries about IJCAR 2024 email:ijcar2024@inria.fr ---------------------------------------------------------------------------

1 0

CfP 8th World Congress on the Square of Opposition - Costa Rica -
by jean-yves beziau 18 Apr '24

18 Apr '24

The 8th edition of the World Congress on the Square of Opposition will take place in Costa Rica, September 9-13, 2024. Deadline to submit an abstract is May 8 https://sites.google.com/view/square8-2024/

1 0

VCLA International Student Awards - Call for Nominations
by Hackl, Andrea 18 Apr '24

18 Apr '24

The Vienna Center for Logic and Algorithms of TU Wien calls for the nomination of authors of outstanding theses and scientific works in the field of Logic and Computer Science, in the following two categories: - Outstanding Master Thesis Award* - Outstanding Undergraduate Thesis Award (Bachelor thesis or equivalent, 1st cycle of the Bologna process)* *The degree must have been awarded between January 1st, 2023 and December 31st, 2023 (inclusive). ---------------------------------- The main areas of interest are: ---------------------------------- - Computational Logic, covering theoretical and mathematical foundations such as proof theory, model theory, computability theory, Boolean satisfiability (SAT), QBF, constraint satisfaction, satisfiability modulo theories, automated deduction (resolution, refutation, theorem proving), non-classical logics (substructural logics, multi-valued logics, deontic logics, modal and temporal logics). - Algorithms and Computational Complexity, including design and analysis of discrete algorithms, complexity analysis, algorithmic lower bounds, parameterized and exact algorithms, decomposition methods, approximation algorithms, randomized algorithms, algorithm engineering, as well as algorithmic game theory, computational social choice, parallel algorithms, graph drawing algorithms, and distributed algorithms. - Databases and Artificial Intelligence, concerned with logical methods for modeling, storing, and drawing inferences from data and knowledge. This includes subjects like query languages based on logical concepts (Datalog, variants of SQL, XML, and SPARQL), novel database-theoretical methods (schema mappings, information extraction and integration), logic programming, knowledge representation and reasoning (ontologies, answer-set programming, belief change, inconsistency handling, argumentation, planning). - Verification, concerned with logical methods and automated tools for reasoning about the behavior and correctness of complex state-based systems such as software and hardware designs as well as hybrid systems. This ranges from model checking, program analysis and abstraction to new interdisciplinary areas such as fault localization, program repair, program synthesis, and the analysis of biological systems. ---------------------------------- Awards ---------------------------------- - The Outstanding Master Thesis Award: 1200 EUR. - The Outstanding Undergraduate Thesis Award: 800 EUR. - The winners will be invited to present their work at an award ceremony in Vienna, if the situation allows. ---------------------------------- Eligibility ---------------------------------- - The degree must have been awarded between January 1st, 2023 and December 31st, 2023 (inclusive). - Students who obtained their degree at TU Wien are not eligible. ---------------------------------- Nomination Requirements ---------------------------------- Nominations must include: - A cover page that contains the name and contact details of the nominated person, the title of the work for which the person is being nominated, award category, the date on which the degree was awarded, and the name of the university. - An English summary of the thesis of maximum 3 pages, excluding references (A4 or letter page size, 11pt font min). The summary must clearly state the main contribution of the work, its novelty, and its relevance to some of the aforementioned areas of interest. - The CV of the nominated person, including publication list (if applicable). - An endorsement letter from a supervisor or another proposing person. The letter must clearly state the independent and novel contribution of the student, and why the proposer believes the student deserves the award. The endorsement letter may be provided after the submission deadline, and emailed directly to award (AT) logic-cs.at. - The full thesis. All documents should be in English, with the exception of the thesis. In case the thesis is in a different language, it must be accompanied by a research report in English of at least 10 pages that should be sufficient for the committee to evaluate the merit and quality of the submitted work. ---------------------------------- Instructions for submitting self-nominations ---------------------------------- - Nominations should be submitted electronically by the applicants using the following link to EasyChair: https://easychair.org/conferences/?conf=vclaawards2024. - Submissions consist of two pdf files. The first is a single pdf file containing all documents for the nomination except the full thesis; the documents should appear in the order they are listed above. The second pdf file is the full thesis. - The endorsement letter may optionally be sent by email by the endorser and omitted from the Easychair submission. In this case, please email the letter as a pdf file, including the name of the nominated person in the subject, to award (AT) logic-cs DOT at. - The submission must be accompanied by a plain text electronic abstract of the thesis of at most 400 words, and three keywords. - The nominated student must be listed as the only author in the submission form. ---------------------------------- Important dates ---------------------------------- - Submission deadline: May 31st, 2024 (anywhere on Earth) - Notification of decision: After August 31st, 2024 ---------------------------------- Contact ---------------------------------- Please send all inquiries to award(a)logic-cs.at<mailto:award@logic-cs.at>. ---------------------------------- VCLA Award Committee 2024 ---------------------------------- Shqiponja Ahmetaj and Anela Lolic will be co-chairing this year's edition of the VCLA International Student Awards. The remaining members of the committee will be announced in due time. ---------------------------------- Website with information on the award and the previous awardees ---------------------------------- https://www.vcla.at/2024/04/call-for-nominations-vcla-international-student… Andrea Hackl, MA Project Manager Vienna Center for Logic and Algorithms Technische Universität Wien Favoritenstraße 9-11, Stiege 3, 3. Stock, 1040 Wien andrea.hackl(a)tuwien.ac.at<mailto:andrea.hackl@tuwien.ac.at> www.vcla.at<http://www.vcla.at/>

1 0

VMW at CAV 2024: Call for Scholarship Applications
by Jingbo Wang 16 Apr '24

16 Apr '24

Dear all, Verification Mentoring Workshop (VMW) 2024 http://www.i-cav.org/2024/workshops/mentoring/ July 22, 2022 Montreal, Canada Co-located with the 36th International Conference on Computer Aided Verification (CAV) http://www.i-cav.org/2024/ CALL FOR SCHOLARSHIP APPLICATIONS We warmly invite students to apply for travel scholarships to attend the Verification Mentoring Workshop and CAV 2024. Applications are received via the form at https://forms.gle/xjr5dJBoukb1oyVN6 Deadline: April 24, 2024 ABOUT THE MENTORING WORKSHOP The purpose of the Verification Mentoring Workshop is to provide mentoring and career advice to senior undergraduate and junior researchers at all stages, and to attract them to pursue research careers in the area of computer-aided verification. The workshop will particularly encourage the participation of women and underrepresented minorities. The workshop program will include a number of talks and interactive sessions. The talks will give an overview of the field along with brief introductions to the varied CAV related topics. Other talks will provide mentoring and career advice, from academia and industry. CONTACT In case of questions, please contact the VMW organizers: Grigory Fedyukovich <grigory(a)cs.fsu.edu> Eric Koskinen <ekoskine(a)stevens.edu>

1 0

LMW@LICS and ICALP '24 - Call for participation and scholarship
by Marie Kerjean 16 Apr '24

16 Apr '24

LOGIC MENTORING WORKSHOP Tallinn, Estonia Sunday 9 July 2024 https://logic-mentoring-workshop.github.io/lics24/ Colocated with LICS and ICALP 2024 CALL FOR PARTICIPATION AND SCHOLARSHIP APPLICATIONS The 11th Logic Mentoring Workshop (LMW) invites participation from students (undergraduate, master's and PhD), in all areas of logic for scholarships to attend the Logic in Computer Science (LICS) conference and the International Colloquium on Automata, Languages and Programming (ICALP) this year. Attending a conference such as ICALP and LICS can be a transformative experience. It exposes participants to cutting-edge research and can open up new research avenues and collaboration opportunities. Some scholarships will be generously funded by our sponsors (see below) and cover registration to ICALP or LICS, as well as the workshop, and possibly travel and accommodation. Due to the generous funding of the NSF, we will be able to fund several US students completely. Women and members of minority groups are especially encouraged to apply. The LMW will focus on the technical and practical aspects of a career in logic research, including talks and a panel session from leaders in the subject. LMW'24 builds on a long tradition of LMW workshops held at LICS and CSL every year. SCHOLARSHIP APPLICATIONS Applications should be made via the online form: https://lipn.univ-paris13.fr/limesurvey/index.php/886399?lang=en The deadline for applications is *7 May 2024* AoE (anywhere on earth). Notification will be made before May 10th. This deadline is to allow students to register within the limit of early-bird registration which ends on 17 May. WORKSHOP REGISTRATION Registration will be done via the main conference site. See the ICALP/LICS/FSCD page : https://compose.ioc.ee/icalp2024/#registration SPEAKERS : TBA Following the tradition, the Logic Mentoring Workshop will invite senior and junior researchers to teach about soft skills and career management after a PhD in Logic, as well as to give scientific talks. ORGANISING COMMITTEE Davide Catta (Università di Napoli) Marie Kerjean (CNRS) Nadia Labai (Amazon) Niels Voorneveld (Cybernetica) SPONSORS National Science Foundation (NSF) Jane Street ACM Special Interest Group on Logic and Computation (SIGLOG)

1 0

Learning and Automata (LearnAut) 2024 -- ICALP 2024 Workshop, second
by Sammartino, Matteo 11 Apr '24

11 Apr '24

Call for papers Learning and Automata (LearnAut) -- ICALP 2024 workshop July 7th - Tallinn, Estonia Website: https://learnaut24.github.io/ Deadline: April 18 Submission portal: https://easychair.org/conferences/?conf=learnaut2024 Learning models defining recursive computations, like automata and formal grammars, are the core of the field called Grammatical Inference (GI). The expressive power of these models and the complexity of the associated computational problems are major research topics within mathematical logic and computer science. Historically, there has been little interaction between the GI and ICALP communities, though recently some important results started to bridge the gap between both worlds, including applications of learning to formal verification and model checking, and (co-)algebraic formulations of automata and grammar learning algorithms. The aim of this workshop is to bring together experts on logic who could benefit from grammatical inference tools, and researchers in grammatical inference who could find in logic and verification new fruitful applications for their methods. We invite submissions of recent work, including preliminary research, related to the theme of the workshop. The Program Committee will select a subset of the abstracts for oral presentation. At least one author of each accepted abstract is expected to represent it at the workshop. Note that accepted papers will be made available on the workshop website but will not be part of formal proceedings (i.e., LearnAut is a non-archival workshop). Topics of interest include (but are not limited to): - Computational complexity of learning problems involving automata and formal languages. - Algorithms and frameworks for learning models representing language classes inside and outside the Chomsky hierarchy, including tree and graph grammars. - Learning problems involving models with additional structure, including numeric weights, inputs/outputs such as transducers, register automata, timed automata, Markov reward and decision processes, and semi-hidden Markov models. - Logical and relational aspects of learning and grammatical inference. - Theoretical studies of learnable classes of languages/representations. - Relations between automata or any other models from language theory and deep learning models for sequential data. - Active learning of finite state machines and formal languages. - Methods for estimating probability distributions over strings, trees, graphs, or any data used as input for symbolic models. - Applications of learning to formal verification and (statistical) model checking. - Metrics and other error measures between automata or formal languages. ** Program Committee ** Dana Angluin (Yale University, United States) Johanna Björklund (Umeå University, Sweden) Benedikt Bollig (LSV, ENS Cachan, CNRS, France) Tiago Ferreira (University College London, United Kingdom) Colin de la Higuera (Université de Nantes, France) Falk Howar (TU Dortmund, Germany) Andrea Pferscher (University of Oslo, Norway) Guillaume Rabusseau (McGill University) Jurriaan Rot (Radboud University Nijmegen, the Netherlands) Ariadna Quattoni (Universitat Politècnica de Catalunya, Spain) Sergio Yovine (Universidad ORT, Uruguay) ** Invited Speakers ** Bernhard Aichernig (TU Graz) (More to come) ** Submission instructions ** Submissions in the form of anonymized extended abstracts must be at most 8 single-column pages long (plus at most four for bibliography and possible appendixes) and must be submitted in the JMLR/PMLR format. The LaTeX style file is available here: https://ctan.org/tex-archive/macros/latex/contrib/jmlr We do accept submissions of work recently published, currently under review or work-in-progress. - Submission url: https://easychair.org/conferences/?conf=learnaut2024 - Submission deadline: April 18 - Notification of acceptance: May 13 - Early registration: May 17 (ICALP) - Workshop: July 7 ** Organizers ** Sophie Fortz (King's College London, UK) Franz Mayr (Universidad ORT Uruguay, UY) Joshua Moerman (Open Universiteit, Heerlen, NL) Matteo Sammartino (Royal Holloway, University of London, UK) This email, its contents and any attachments are intended solely for the addressee and may contain confidential information. In certain circumstances, it may also be subject to legal privilege. Any unauthorised use, disclosure, or copying is not permitted. If you have received this email in error, please notify us and immediately and permanently delete it. Any views or opinions expressed in personal emails are solely those of the author and do not necessarily represent those of Royal Holloway, University of London. It is your responsibility to ensure that this email and any attachments are virus free.

1 0

FACS 24 - Second Call for Papers
by Marmsoler, Diego 11 Apr '24

11 Apr '24

[ Please distribute, apologies for multiple postings. ] ========================================================================= 20th International Conference on Formal Aspects of Component Software (FACS) - Second Call https://facs-conference.github.io/2024/ September 09-10, 2024, Milan, Italy Co-located with the 26th international symposium on formal methods (FM 2024) https://www.fm24.polimi.it/ -------------------------------------------------------------------------- -------------------------------------------------------------------------- OVERVIEW -------------------------------------------------------------------------- FACS 2024 is concerned with how formal methods can be applied to component- based software and system development. Formal methods have provided foundations for component-based software through research on mathematical models for components, composition and adaptation, and rigorous approaches to verification, deployment, testing, and certification. -------------------------------------------------------------------------- -------------------------------------------------------------------------- TOPICS -------------------------------------------------------------------------- The conference seeks to address the applications of formal methods in all aspects of software components and services. FACS aims at developing a community-based understanding of relevant and emerging research problems through formal paper presentations and lively discussions. FACS 2024 welcomes contributions including but not limited to: - Formal methods, models, and languages for software-intensive systems, components and services, including verification techniques (e.g., model checking, theorem proving, testing, constraint solving, runtime analysis), probabilistic techniques, (co-)simulation techniques, composition and deployment, component interaction, software variability, QoS and other nonfunctional properties (e.g., trust, compliance, security, privacy); - Formal aspects of concrete software-intensive systems, including service- oriented architectures, business processes, cloud or edge computing, real- time/safety-critical systems, hybrid and cyber physical systems, quantum systems, components that use artificial intelligence; - Tools supporting formal methods for components and services; - Case studies and experience reports over the above topics; - **Special track: Formal Methods of Component Software in the context of emerging computational paradigms** (e.g. cyber physical human systems, quantum computations, AI systems, blockchain systems, etc) . -------------------------------------------------------------------------- -------------------------------------------------------------------------- SUBMISSION AND PUBLICATION -------------------------------------------------------------------------- We solicit high-quality submissions reporting on: A - full papers: original research, applications and experiences, or surveys (16 pages); B - short papers: tools and demonstrations (6 pages); C - Special track papers (16 pages); The page limit excludes references and appendices. Papers should be prepared in LaTeX, adhering to the Springer LNCS format and Guidelines. Papers should be submitted through the easychair link: https://easychair.org/conferences/?conf=facs2024 All submitted papers should be in LNCS format and unpublished and not submitted for publication elsewhere. All accepted papers will have to be presented at the conference by one of their authors. Accepted papers in all categories will be published in the FACS proceedings and published as a volume in Springer LNCS series. -------------------------------------------------------------------------- -------------------------------------------------------------------------- SPECIAL ISSUE -------------------------------------------------------------------------- The authors of a selected subset of accepted papers will be invited to submit an extended version of their papers to a special issue of the Science of Computer Programming journal. -------------------------------------------------------------------------- -------------------------------------------------------------------------- BEST PAPER AWARD -------------------------------------------------------------------------- FACS 2024 will recognize the most outstanding submissions with a best paper award. -------------------------------------------------------------------------- -------------------------------------------------------------------------- IMPORTANT DATES -------------------------------------------------------------------------- Abstract submission: 8 May, 2024 Full paper submission: 15 May, 2024 Notification: 26 June, 2024 Final version due: 17 July, 2024 Conference: 9-10 September, 2024 -------------------------------- -------------------------------- INVITED SPEAKERS -------------------------------- - Ana Cavalcanti (University of York, UK) - David Parker (University of Oxford, UK) - Geguang Pu (ECNU, China) -------------------------------- -------------------------------- PROGRAM CO-CHAIRS -------------------------------- - Diego Marmsoler (University of Exeter, United Kingdom) - Meng Sun (Peking University, China) -------------------------------- -------------------------------- PROGRAM COMMITTEE -------------------------------- - Achim Brucker (University of Exeter, United Kingdom) - Antónia Lopes (Universidade de Lisboa, Portugal) - Anton Wijs (Eindhoven University of Technology, Netherlands) - Arpit Sharma (IISERB, India) - Brijesh Dongol (University of Surrey, United Kingdom) - Camilo Rocha (Pontificia Universidad Javeriana Cali, Colombia) - Clemens Dubslaff (Eindhoven University of Technology, Netherlands) - Fatemeh Ghassemi (University of Tehran, Iran) - Giorgio Audrito (University of Turin, Italy) - Gwen Salaün (University of Grenoble Alpes, France) - Ivan Lanese (University of Bologna/INRIA, Italy) - Jacopo Mauro (University of Southern Denmark, Denmark) - José Proença (University of Porto, Portugal) - Keigo Imai (DeNA Co., Japan) - Kenneth Johnson (Auckland University of Technology, New Zealand) - Kyungmin Bae (POSTECH, South Korea) - Luís Soares Barbosa (University of Minho, Portugal) - Marie Farrell (The University of Manchester, United Kingdom) - Mario Gleirscher (Universität Bremen, Germany) - Mieke Massink (CNR-ISTI, Italy) - Olga Kouchnarenko (University of Franche-Comté, France) - Peter Ölveczky (University of Oslo, Norway) - Samir Genaim (Universidad Complutense de Madrid, Spain) - Shoji Yuen (Nagoya University, Japan) - Simon Bliudze (INRIA Lille, France) - Simon Foster (University of York, United Kingdom) - Violet Ka I Pun (Western Norway University of Applied Sciences, Norway) - Xiyue Zhang (Oxford University, United Kingdom) - Zhenbang Chen (NUDT, China) -------------------------------- Diego Marmsoler Lecturer (Education and Research), Computer Science University of Exeter, Innovation 1, Room 10 www: marmsoler.com<http://www.marmsoler.com> Twitter: @DiegoMarmsoler<https://twitter.com/DiegoMarmsoler>

1 0

Extension to abstract submission deadline - WADT 2024
by WADT 2024 09 Apr '24

09 Apr '24

[Apologies for cross-posting] ====================================================================== WADT 2024 - Extension to abstract submission deadline 27th International Workshop on Algebraic Development Techniques https://conf.researchr.org/home/wadt-2024 Part of the STAF 2024 multi-conference taking place Mon 8 – Fri 12 July 2024 in Enschede, the Netherlands ====================================================================== AIMS AND SCOPE The algebraic approach to system specification encompasses many aspects of the formal design of software systems. Originally born as a formal method for reasoning about abstract data types, it now covers new specification frameworks and programming paradigms (such as object-oriented, aspect-oriented, agent-oriented, logic and higher-order functional programming) as well as a wide range of application areas (including information systems, concurrent, distributed and mobile systems). The workshop will provide an opportunity to present recent and ongoing work, to meet colleagues, and to discuss new ideas and future trends. TOPICS OF INTEREST Typical, but not exclusive topics of interest are: – Foundations of algebraic specification – Other approaches to formal specification, including process calculi and models of concurrent, distributed, and cyber-physical systems – Specification languages, methods, and environments – Semantics of conceptual modelling methods and techniques – Model-driven development – Graph transformations, term rewriting, and proof systems – Integration of formal specification techniques – Theorem-proving technologies and integration with specification languages – Formal testing and quality assurance, validation, and verification – Algebraic approaches to knowledge representation and cognitive sciences WORKSHOP FORMAT AND LOCATION The workshop will be part of the STAF 2024 multi-conference at Twente, the Netherlands. Presentations will be selected on the basis of submitted abstracts. INVITED SPEAKERS Jan Bergstra (UvA, Netherlands) Bernhard Möller (Uni Augsburg, Germany) IMPORTANT DATES Abstract submission: 22 Apr 2024 Abstract notification: 29 Apr 2024 Full-paper submission: 16 Sep 2024 Full-paper notification: 25 Nov 2024 SUBMISSIONS The scientific programme of the workshop will include presentations of recent results or ongoing research as well as invited talks. The presentations will be selected by the Programme Committee on the basis of submitted abstracts according to originality, significance and general interest. Abstracts must not exceed two pages, including references, in LNCS format. If a longer version of the contribution is available, it can be made accessible on the web and referenced in the abstract. The abstracts will have to be submitted electronically via EasyChair at https://easychair.org/conferences/?conf=staf2024. POST-PROCEEDINGS After the workshop, authors will be invited to submit full papers for the refereed proceedings. All submissions will be reviewed by the Programme Committee. The selection of papers will be based on originality, soundness, and significance of the presented ideas and results. The post-proceedings will then be published by Springer as a volume of Lecture Notes in Computer Science. SPONSORSHIP The workshop takes place under the auspices of IFIP WG 1.3. STEERING COMMITTEE Andrea Corradini (Italy) José Fiadeiro (UK) Rolf Hennicker (Germany) Alexander Knapp (Germany) Hans-Jörg Kreowski (Germany) Till Mossakowski (Germany) Fernando Orejas (Spain) Leila Ribeiro (Brazil) Markus Roggenbach (UK) Grigore Roșu (USA) PROGRAMME COMMITTEE Mihai Codescu (Romania) Andrea Corradini (Italy) Tom van Dijk (Netherlands) Fabio Gadducci (Italy) Rolf Hennicker (Germany) Alex Kavvos (UK) Alexander Knapp (Germany) Leen Lambers (Germany) Alexandre Madeira (Portugal) Manuel A. Martins (Portugal) Narciso Martí-Oliet (Spain) Dominique Mery (France) Till Mossakowski (Germany) Renato Neves (Portugal) Peter Ölveczky (Norway) Fernando Orejas (Spain) Florian Rabe (Germany) Adrián Riesco (Spain) Markus Roggenbach (UK) Pierre Yves Schobbens (Belgium) Ionuț Țuțu (Romania) [chair] Uwe Wolter (Norway) CONTACT INFORMATION Email: wadt2024(a)outlook.com Homepage: https://conf.researchr.org/home/wadt-2024

1 0

Modern vs. classical structures of opposition: A discussion - LUW
by jean-yves beziau 09 Apr '24

09 Apr '24

Logica Universalis Webinar April 10, 2024 at 4pm CET Speakers: Didier Dubois, Henri Prade & Agnès Rico Title: "Modern vs. classical structures of opposition: A discussion" Abstract: "The aim of this work is to revisit the proposal made by Dag Westerst° ahl a decade ago when he provided a modern reading of the traditional square of opposition and of related structures. We propose a formalization of this modern view and contrast it with the classical one.We discuss what may be a modern hexagon of opposition and a modern cube, and show their interest in particular for relating quantitative expressions." https://link.springer.com/article/10.1007/s11787-024-00347-1 Associate organization: ADRIA-IRIT, CNRS https://www.irit.fr/en/departement/dep-artificial-intelligence/adria-team/ Presented by Didier Dubois and Henri Prade Chair : Sayantan Roy, Assistant Editor LU Everybody is welcome to join, register here: https://cassyni.com/events/LMSPiEvqN9JUsvzryqD1f3 Jean-Yves Beziau Editor of Logica Universalis and Organizer of LUW https://philpeople.org/profiles/jean-yves-beziau

1 0