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

FMCAD 2023 Student Forum: Call for Contributions

von Rozier, Kristin-Yvonne [AER E]

(apologies for multiple copies) ====================================================================== 2023 Formal Methods in Computer-Aided Design (FMCAD): Student Forum October 23-27, Ames, Iowa, USA Call for Student Contributions! ====================================================================== Please consider submitting or encouraging your students to submit to this year's FMCAD student forum. More information can be found here: https://fmcad.org/FMCAD23/student_forum/ Student Forum Continuing the tradition of the previous years, FMCAD 2023 is hosting a Student Forum that provides a platform for students at any career stage (undergraduate or graduate) to introduce their research to the wider Formal Methods community, and solicit feedback. Main Activities Each student will give a short presentation and present their poster in the poster session. Submissions for the event must be short reports describing research ideas or ongoing work that the student is currently pursuing and must be within the scope of FMCAD. Work, part of which has been previously published, will be considered; the novel aspect to be addressed in future work must be clearly described in such cases. All submissions will be reviewed by the Student Forum's program committee. Important Dates Student forum submission: July 12, 2023 Student forum notification: Aug 10, 2023 These deadlines are 11:59 pm AoE (Anywhere on Earth) Format The event will consist of short presentations by the student authors of each accepted submission and of a poster that will be on display throughout the duration of the conference. All participants of the conference are encouraged to attend the talks and approach the students during the poster presentation. Instructions for the preparation of the talks and poster sessions will be announced on notification of acceptance. Visibility Accepted submissions will be listed, with title and author name, in the event description in the conference proceedings. The authors will also have the option to upload their slide deck/poster/presentation to the FMCAD website. The report itself will not appear in the FMCAD proceedings. Thus, the presentation at the forum should not interfere with potential future submissions of this research (to FMCAD or elsewhere). Travel Awards Most of the applicants will receive travel reimbursement after the conference (the amount of support will be announced later). The first author of each contribution will be given priority over other authors. Please make sure you hold on to all receipts for reimbursement. Further instructions on how to apply for travel grants will be on the website. ---------- ____________________________________________________________ __ /\ \ \_____ / \ ###[==_____> / \ /_/ __ / __ \ \ \_____ | ( ) | ###[==_____> /| /\/\ |\ /_/ / | | | | \ / |=|==|=| \ Kristin Yvonne Rozier, Ph.D. / | | | | \ Associate Professor, Iowa State Univ / USA | ~||~ |NASA \ Departments of Aerospace Engineering, |______| ~~ |______| Computer Science, Mathematics, and (__||__) Electrical and Computer Engineering /_\ /_\ !!! !!! laboratory.temporallogic.org

1 Jahr

1
0
0 0

GandALF 2023: Deadline extension (abstract and paper submission)

von Gabriele Puppis

[apologies for cross-postings] · New abstract submission deadline: 23 June 2023 *30 June 2023* · New paper submission deadline: 30 June 2023 *7 July 2023* The Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 23) will be held in Udine (Italy) on *September 18-20, 2023*. The aim of GandALF 2023 <https://urldefense.com/v3/__https://gandalf23.uniud.it/__;!!IBzWLUs!Rooz29B…> is to bring together researchers from academia and industry who are actively working in the fields of Games, Automata, Logics, and Formal Verification. The idea is to cover an ample spectrum of themes, ranging from theory to applications, and stimulate cross-fertilization. Papers focused on formal methods are especially welcome. Authors are invited to submit original research or tool papers on all relevant topics in these areas. Papers discussing new ideas that are at an early stage of development are also welcome. The topics covered by the conference include, but are not limited to, the following: · Automata Theory · Automated Deduction · Computational aspects of Game Theory · Concurrency and Distributed computation · Decision Procedures · Deductive, Compositional, and Abstraction Techniques for Verification · Finite Model Theory · First-order and Higher-order Logics · Formal Languages · Formal Methods for Systems Biology, Hybrid, Embedded, and Mobile Systems · Game Semantics · Games and Automata for Verification · Logical aspects of Computational Complexity · Logics of Programs · Modal and Temporal Logics · Model Checking · Models of Reactive and Real-Time Systems · Probabilistic Models (Markov Decision processes) · Program Analysis and Software Verification · Reinforcement Learning · Run-time Verification and Testing · Specification and Verification of Finite and Infinite-state Systems · Synthesis Important Dates · Abstract submission deadline: 23 June 2023 *30 June 2023* · Paper submission deadline: 30 June 2023 *7 July 2023* · Acceptance notification: 7 August 2023 · Camera-ready deadline: 6 September 2023 · Conference dates: 18-20 September 2023 ⚠ all deadlines are AoE <https://urldefense.com/v3/__https://time.is/Anywhere_on_Earth__;!!IBzWLUs!R…> Publication The proceedings will be published by Electronic Proceedings in Theoretical Computer Science <https://urldefense.com/v3/__http://www.eptcs.org/__;!!IBzWLUs!Rooz29BBsOWdk…>. Authors of selected papers will be invited to submit a revised version of their work to a special issue of Logical Methods in Computer Science <https://urldefense.com/v3/__https://lmcs.episciences.org/__;!!IBzWLUs!Rooz2…> . The previous editions of GandALF already led to special issues of the International Journal of Foundations of Computer Science (GandALF 2010), Theoretical Computer Science (GandALF 2011 and 2012), Information and Computation (GandALF 2013, 2014, 2016, 2017, 2018, 2019, and 2020), Acta Informatica (GandALF 2015) and Logical Methods in Computer Science (GandALF 2021 and 2022). Submission Submitted papers should not exceed 14 pages (excluding references and clearly marked appendices) using EPTCS format (please use the LaTeX style provided here <https://urldefense.com/v3/__http://style.eptcs.org__;!!IBzWLUs!Rooz29BBsOWd…>), be unpublished, and contain original research. For papers reporting experimental results, authors are encouraged to make their data available with their submission. Submissions must be in PDF format and will be handled via easychair at the following address: https://easychair.org/conferences/?conf=gandalf23 <https://urldefense.com/v3/__https://easychair.org/conferences/?conf=gandalf…> Invited Speakers · Laure Daviaud <https://urldefense.com/v3/__https://www.city.ac.uk/about/people/academics/l…> – University of East Anglia (UK) · Juha Kontinen <https://urldefense.com/v3/__https://researchportal.helsinki.fi/en/persons/j…> – University of Helsinki (Finland) · Sophie Pinchinat <https://urldefense.com/v3/__https://people.irisa.fr/Sophie.Pinchinat/__;!!I…> – IRISA/University of Rennes (France) · Alexander Rabinovich <https://urldefense.com/v3/__http://www.cs.tau.ac.il/*rabinoa__;fg!!IBzWLUs!…> – Tel Aviv University (Israel) Program Committee · Dario Della Monica (co-chair) – University of Udine (Italy) · Antonis Achilleos (co-chair) – Reykjavik University (Iceland) · Parosh Aziz Abdulla – Uppsala University (Sweden) · Christel Baier – Technische Universität Dresden (Germany) · Valentina Castiglioni – Reykjavik University (Iceland) · Giorgio Delzanno – University of Genova (Italy) · Léo Exibard – Université Gustave Eiffel (France) · Gabriele Fici – University of Palermo (Italy) · Dana Fisman – Ben-Gurion University (Israel) · Nicola Gigante – Free University of Bozen-Bolzano (Italy) · Miika Hannula – University of Helsinki (Finland) · Naoki Kobayashi – The University of Tokyo (Japan) · Orna Kupferman – Hebrew University (Israel) · Martin Leucker – University of Lübeck (Germany) · Jakub Michaliszyn – University of Wrocław (Poland) · Fabio Mogavero – University of Napoli (Italy) · Shankara Narayanan Krishna – Indian Institute of Technology, Bombay (India) · Pawel Parys – University of Warsaw (Poland) · Guillermo Pérez – University of Antwerp (Belgium) · Giovanni Pighizzini – University of Milano (Italy) · Gabriele Puppis – University of Udine (Italy) · Joshua Sack – California State University Long Beach (USA) · Ocan Sankur – CNRS/Irisa (France) · Patrick Totzke – University of Liverpool (UK) · Jana Wagemaker – Reykjavik University (Iceland) · Matteo Zavatteri– University of Padova (Italy) · Martin Zimmermann – Aalborg University (Denmark) Steering Committee · Luca Aceto – Reykjavik University (Iceland) · Javier Esparza – University of Munich (Germany) · Salvatore La Torre – University of Salerno (Italy) · Angelo Montanari – University of Udine (Italy) · Mimmo Parente – University of Salerno (Italy) · Jean-François Raskin – Université libre de Bruxelles (Belgium) · Martin Zimmermann – Aalborg University (Denmark) Website https://gandalf23.uniud.it/ <https://urldefense.com/v3/__https://gandalf23.uniud.it/__;!!IBzWLUs!Rooz29B…>

1 Jahr

1
0
0 0

CfP High-Performance Computing and Formal Methods: Deadline July 10th

von Rosemary Monahan

Call for papers: Frontiers in High Performance Computing Research topic: High-Performance Computing and Formal Methods Manuscript Submission: Deadline 10 July 2023 We welcome submissions of papers reporting both original research and case studies on algorithmic advances and the use of high-performance computing for scaling automated reasoning and application of formal methods in system verification and synthesis, and mathematical and logical foundations of parallel formal verification and synthesis algorithms including contributions discussing complexity and correctness guarantees of parallel algorithms. Topics of interest include (but are not limited to): - Algorithms and tools for verifying models and implementations; including model-checking, theorem proving, runtime verification, and decision procedures - Algorithms and tools for system synthesis; including software synthesis and reactive (discrete-time, timed, hybrid) synthesis - Mathematical and logical foundations of scalable formal verification and synthesis algorithms; including complexity analysis, correctness guarantees, and performance improvements - Case studies and experience reports on the use of high-performance computing in applying formal methods for system verification and synthesis. Frontiers in High Performance Computing is an open access journal, so publishing fees are applied to accepted articles. Please contact highperformancecomputing.submissions(a)frontiersin.org to discuss fees, institutional waivers, and discounts. For further information and submission guidelines see https://www.frontiersin.org/research-topics/50797/high-performance-computin… Regards, Kristin Yvonne Rozier, Iowa State University Rosemary Monahan, Maynooth University Rohit Dureja, IBM (United States) Professor Rosemary Monahan Principles of Programming Research Group Department of Computer Science & Hamilton Institute, Maynooth University, Maynooth, Co. Kildare, Ireland. T: +353 1 7083847 F:+353-1-7083848 W: https://www.maynoothuniversity.ie/computer-science/our-people/rosemary-mona…

1 Jahr, 1 Monat

1
0
0 0

Final Call for Participation: Logic Mentoring Workshop (LMW@LICS 2023)

von Ilina Stoilkovska

------------------------------------------------------------------------ *Final Call for Participation* Logic Mentoring Workshop (LMW@LICS 2023) Boston, USA June 25, 2023 https://logic-mentoring-workshop.github.io/lics23/ Co-located with Logic in Computer Science (LICS) 2023 Registration at https://lics.siglog.org/lics23/ ------------------------------------------------------------------------ The Logic Mentoring Workshop introduces young researchers to the technical and practical aspects of a career in logic research. It is targeted at students, from senior undergraduates to doctoral students, and will include tutorials and plenary talks as well as a panel discussion, where experienced researchers from the field answer career-related questions from the audience. The workshop will be a hybrid event, however on-site participation in Boston, USA, is highly recommended. It is co-located with Logic in Computer Science (LICS’23, https://lics.siglog.org/lics23/) one of the most prestigious conferences on the topic. Attending LICS is not a prerequisite to attend LMW, but it is encouraged. *LICS Buddy* Is this the first conference you will attend in person? We have all been there. You might not feel comfortable if you don't know anyone. Join our Buddy Program, and we will help you to get in touch with another mentoring workshop attendee. Every newcomer will be assigned either a more experienced peer or another newcomer, so you are not alone. For those who are not attending a conference for the first time, being a buddy is a way for you to help the community to grow and introduce less experienced students to the field. If you are interested, write an email to steffen.van.bergerem(a)hu-berlin.de. *PRELIMINARY PROGRAM* 09:00–09:30 Meet & greet 09:30–10:00 PROcrastination is not for amateurs. Sonia Marin (University of Birmingham) 10:00–10:30 What makes theoretical research interesting–relevant–exciting? Martin Grohe (RWTH Aachen University) 10:30–11:00 Coffee break 11:00–11:30 Antonina Kolokolova (Memorial University of Newfoundland) 11:30–12:00 Nobody knows anything. Mikołaj Bojańczyk (University of Warsaw) 12:00–12:30 Finding Tenure. Anupam Das (University of Birmingham) 12:30–14:00 Lunch break 14:00–14:30 Marianna Girlando (ILLC, University of Amsterdam) 14:30–15:00 Igor Walukiewicz (CNRS, Université de Bordeaux) 15:00–15:30 Alëna Rodionova (Waabi) 15:30–16:00 Coffee break 16:00–17:00 Panel: Anuj Dawar (University of Cambridge), Alëna Rodionova (Waabi), Igor Waluckiwicz (CNRS, Université de Bordeaux), and Matthew Weaver (Princeton University) *ORGANIZING COMMITTEE* Arthur Azevedo de Amorim Steffen van Bergerem Ilina Stoilkovska K. S. Thejaswini

1 Jahr, 1 Monat

1
0
0 0

CALL FOR NOMINATION - FSCD Steering Committee Membership Election

von Carsten Fuhs

Formal Structures for Computation and Deduction (FSCD) Steering Committee Membership Election 2023 CALL FOR NOMINATION The FSCD SC consists of the SC Chair, 6 elected members, PC Chairs of the last 3 years, the Publicity Chair, Workshop Chair and former SC Chair. Every year the outgoing elected SC members are replaced by new members elected by a secret ballot. Each SC member normally serves for 3 years, unless exceptions apply (see the FSCD Rules of Business http://fscd-conference.org/organization/rules-of-business/ for details). The current steering committee composition, together with the serving time for each member, is available here: https://fscd-conference.org/organization/steering-committee/ Candidates for SC membership are requested to email the FSCD SC Chair an election statement (including a brief bio) on one a4 page, preferably in PDF, no later than * Monday 26 June 2023 (AoE) * The election statements will be posted on the FSCD webpage before the start of FSCD 2023. The election will take place at the General Meeting of FSCD 2023, 3-6 July 2023. Herman Geuvers herman at cs.ru.nl FSCD SC Chair

1 Jahr, 1 Monat

1
0
0 0

The Decision Problem for Effective Procedures - Celebration of the

von jean-yves beziau

The Decision Problem for Effective Procedures - Celebration of the 120th anniversary of Alonzo Church Nathan Salmon (University of California at Santa Barbara), Gary Mar (State University of New York, Stony Brook), Melvin Fitting (CUNY Graduate Center) Logica Universalis Webinar 2023 --------------------------------------------------------------------------------------------------------------------- June 14, 2023 at 4pm CET (Paris-Geneva-Rome) we will have one more session of the Logica Universalis Webinar (LUW). Nathan Salmón will present his recently published paper in Logica Universalis "The Decision Problem for Effective Procedures" https://www.springer.com/journal/11787/ Salmón was a former PhD student of the famous logician and founder of computer science Alonzo Church. Church was born June 14, 1903. We will therefore commemorate his 120th anniversary with a preliminary presentation by his last PhD student Gary R.Mar. The chair of the session will be Melvin Fitting. Nathan Salmón was also a long time friend and collaborator of Saul Kripke: https://www.simplycharly.com/read/interviews/naming-names-a-deep-dive-into-… At LUW we have before the main talk the presentation of an association related to the author or/and topic of the talk. The Kripke center was presented at the LUW session of August 11, 2021: https://youtu.be/piyvWZ5nOik This next LUW session June 14 will initiate a series where the preliminary talk is related to the anniversary of a famous logician. This is not indeed completely new, considering that the first session of LUW was for the celebration of the World Logic Day, January 14, 2021, the 120th anniversary of Alfred Tarski: http://www.logica-universalis.org/wld3 Everybody is welcome to attend the next LUW session June 14, register here: https://www.springer.com/journal/11787/updates/23910922 Jean-Yves Beziau Editor-in-Chief Logica Universalis President of LUA (Logica Universalis Association) http://www.logica-universalis.org/LUAD

1 Jahr, 1 Monat

1
0
0 0

Postdoc position and Ph.D. position @ King's College London

von Hubie Chen

Postdoc position and Ph.D. position in TCS @ King's College London * A postdoctoral research position in theoretical computer science is available at King's College London. The successful candidate will be hosted by Hubie Chen and will be expected to work on topics related to the themes of complexity, database theory, structural decomposition methods, and logic. The position is offered for 2 years. Research interest and experience in the following areas will be valued: logic in computer science, database theory, finite model theory, structural decomposition methods, and parameterized complexity theory. Key dates: the application deadline is July 9, 2023; it is hoped that the successful applicant will start in autumn 2023, but there is some flexibility concerning the start date. Informal enquiries and discussion are strongly encouraged prior to application (e-mail contact: hubie.chen(a)kcl.ac.uk). To apply, please see: https://www.kcl.ac.uk/jobs/067385-postdoctoral-research-associate-in-theore… * A funded Ph.D. position in theoretical computer science is available at King's College London. The successful candidate will be advised by Hubie Chen and will work on mutually agreeable topics in theoretical computer science. The primary criterion for this position is an undergraduate degree in mathematics with strong performance, or an equivalent experience. Key dates: please apply by July 14, 2023 for full consideration; it is hoped that the successful applicant will start in autumn 2023, but there is some flexibility concerning the start date. Informal enquiries are very welcome (e-mail contact: hubie.chen(a)kcl.ac.uk); please send your CV when initiating correspondence. To apply, please send the following information to hubie.chen(a)kcl.ac.uk: (1) CV, including contact details for three persons who can be contacted for reference letters, (2) all available academic transcripts at the university level, (3) a brief statement of interest, and (4) copies of any theses or research publications.

1 Jahr, 1 Monat

1
0
0 0

Symbolic Logic and Religious Symbolism, Sinaia, Sept 3-8, 2023 - CfP

von jean-yves beziau

Workshop organized by Jean-Yves Beziau and Caroline Pires Ting Federal University of Rio de Janeiro (Brazil) and Logica Universalis Association (Geneva, Switzerland) Part of the 4th World Congress on Logic and Religion, Sinaia, Sept 3-8, 2023 CALL FOR PAPERS On the one hand symbolism is important in most religions, on the other hand modern logic is often characterized as symbolic. This workshop, part of WoCoLoR4, explores the relation between these two symbolic approaches. Suggested topics include - but are not limited to - the following: > Boole's symbolic mathematical notation in logic and abstract religious notions > Zoroastrianism's dualism, Pythagoras's table of opposites, Trinity Christian triangle, Islamic geometrical objects and the theory of oppositions > Yin/Yang and the notion of complementary contradiction > the symbolism of the cross, crucifixion, negation and abnegation > Venn symbolic logic, Venn diagrams and their application for understanding religious phenomena > the universal quantifier and catholicism as a religion for all > is the existential quantifier really symbolizing existence? > Cabala symbolism and logic in Alice's Adventures in Wonderland by Charles Dodgson, aka Lewis Carroll, deacon in the Church of England and symbolic logician > logical "interpretation" of Gödel's proof of the existence of God in symbolic logic Submit a one page abstract by June 15 Religious Symbolism and Symbolic Logic, Sinaia, Sept 3-8, 2023 https://sites.google.com/view/symbol-relog

1 Jahr, 1 Monat

1
0
0 0

Call for participation: VALU3S Summer School on Validation and

von Rosemary Monahan

The VALU3S project is proud to organize a summer school with the focus on the results produced during the project. The theme of the school is Verification and Validation of Dependable Cyber-Physical Systems. - Where: Genova, Italy - When: 18th-20th July 2023 - Registration: until 12th June 2023 - Estimated cost: 180€/participant - More info: https://valu3s.eu/summer-school-2023 If you are a student (bachelor, master, or Ph.D.) or an early-stage researcher/engineer with an interest in expanding your knowledge around verification and validation, we recommend you to join us! == Tentative Teaching Modules == - Introduction to verification and validation of dependable cyber-physical systems - An overview to Testing of safety-critical cyber-physical systems - Software-implemented fault injection - Simulation-based fault injection - Formal Requirements Engineering - Introduction to Model Checking - Symbolic Model Checking of Hybrid Systems - Deductive Verification in a Nutshell - VVML: Specifying Workflows for V&V Methods - A V&V framework for storing elements of V&V activities - An overview of relevant safety and cybersecurity standards == Preliminary list of lecturers == - Joseba Agirre, Mondragon University - Raul Barbosa, University of Coimbra - Thomas Bauer, Fraunhofer IESE - Sina Borrami, Alstom - Frederico Cerveira, University of Coimbra - Bohumil Hruška, Lieberlieber Software - Pierre Kleberger, RISE Research Institutes of Sweden - Jonas Melchert, Alstom - Rosemary Monahan, Maynooth University - David Pereira, Instituto Superior de Engenharia do Porto - José Proença, Instituto Superior de Engenharia do Porto - Behrooz Sangchoolie, RISE Research Institutes of Sweden - Christoph Schmittner, AIT Austrian Institute of Technology - Stefano Tonetta, Fondazione Bruno Kessler -- Rosemary Monahan Principles of Programming Research Group Department of Computer Science & Hamilton Institute, Maynooth University, Maynooth, Co. Kildare, Ireland. T: +353 1 7083847 F:+353-1-7083848 W: https://www.maynoothuniversity.ie/computer-science/our-people/rosemary-mona…

1 Jahr, 1 Monat

1
0
0 0

GandALF 2023: Last Call For Papers.

von Gabriele Puppis

[apologies for cross-postings] The Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 23) will be held in Udine (Italy) on September 18-20, 2023. The aim of GandALF 2023 <https://gandalf23.uniud.it/> is to bring together researchers from academia and industry who are actively working in the fields of Games, Automata, Logics, and Formal Verification. The idea is to cover an ample spectrum of themes, ranging from theory to applications, and stimulate cross-fertilization. Papers focused on formal methods are especially welcome. Authors are invited to submit original research or tool papers on all relevant topics in these areas. Papers discussing new ideas that are at an early stage of development are also welcome. The topics covered by the conference include, but are not limited to, the following: - Automata Theory - Automated Deduction - Computational aspects of Game Theory - Concurrency and Distributed computation - Decision Procedures - Deductive, Compositional, and Abstraction Techniques for Verification - Finite Model Theory - First-order and Higher-order Logics - Formal Languages - Formal Methods for Systems Biology, Hybrid, Embedded, and Mobile Systems - Game Semantics - Games and Automata for Verification - Logical aspects of Computational Complexity - Logics of Programs - Modal and Temporal Logics - Model Checking - Models of Reactive and Real-Time Systems - Probabilistic Models (Markov Decision processes) - Program Analysis and Software Verification - Reinforcement Learning - Run-time Verification and Testing - Specification and Verification of Finite and Infinite-state Systems - Synthesis Important Dates - Abstract submission deadline: 23 June 2023 - Paper submission deadline: 30 June 2023 - Acceptance notification: 7 August 2023 - Camera-ready deadline: 6 September 2023 - Conference dates: 18-20 September 2023 ⚠ all deadlines are AoE <https://time.is/Anywhere_on_Earth> Publication The proceedings will be published by Electronic Proceedings in Theoretical Computer Science <http://www.eptcs.org/>. Authors of selected papers will be invited to submit a revised version of their work to a special issue of Logical Methods in Computer Science <https://lmcs.episciences.org/>. The previous editions of GandALF already led to special issues of the International Journal of Foundations of Computer Science (GandALF 2010), Theoretical Computer Science (GandALF 2011 and 2012), Information and Computation (GandALF 2013, 2014, 2016, 2017, 2018, 2019, and 2020), Acta Informatica (GandALF 2015) and Logical Methods in Computer Science (GandALF 2021 and 2022). Submission Submitted papers should not exceed 14 pages (excluding references and clearly marked appendices) using EPTCS format (please use the LaTeX style provided here <http://style.eptcs.org/>), be unpublished, and contain original research. For papers reporting experimental results, authors are encouraged to make their data available with their submission. Submissions must be in PDF format and will be handled via easychair at the following address: https://easychair.org/conferences/?conf=gandalf23 Invited Speakers - Laure Daviaud <https://www.city.ac.uk/about/people/academics/laure-daviaud> – City, University of London (UK) - Juha Kontinen <https://researchportal.helsinki.fi/en/persons/juha-kontinen> – University of Helsinki (Finland) - Sophie Pinchinat <https://people.irisa.fr/Sophie.Pinchinat/> – IRISA/University of Rennes (France) - Alexander Rabinovich <http://www.cs.tau.ac.il/~rabinoa> – Tel Aviv University (Israel) Program Committee - Dario Della Monica (co-chair) – University of Udine (Italy) - Antonis Achilleos (co-chair) – Reykjavik University (Iceland) - Parosh Aziz Abdulla – Uppsala University (Sweden) - Christel Baier – Technische Universität Dresden (Germany) - Valentina Castiglioni – Reykjavik University (Iceland) - Giorgio Delzanno – University of Genova (Italy) - Léo Exibard – Université Gustave Eiffel (France) - Gabriele Fici – University of Palermo (Italy) - Dana Fisman – Ben-Gurion University (Israel) - Nicola Gigante – Free University of Bozen-Bolzano (Italy) - Miika Hannula – University of Helsinki (Finland) - Naoki Kobayashi – The University of Tokyo (Japan) - Orna Kupferman – Hebrew University (Israel) - Martin Leucker – University of Lübeck (Germany) - Jakub Michaliszyn – University of Wrocław (Poland) - Fabio Mogavero – University of Napoli (Italy) - Shankara Narayanan Krishna – Indian Institute of Technology, Bombay (India) - Pawel Parys – University of Warsaw (Poland) - Guillermo Pérez – University of Antwerp (Belgium) - Giovanni Pighizzini – University of Milano (Italy) - Gabriele Puppis – University of Udine (Italy) - Joshua Sack – California State University Long Beach (USA) - Ocan Sankur – CNRS/Irisa (France) - Patrick Totzke – University of Liverpool (UK) - Jana Wagemaker – Radboud University (Netherlands) - Matteo Zavatteri– University of Padova (Italy) - Martin Zimmermann – Aalborg University (Denmark) Steering Committee - Luca Aceto – Reykjavik University (Iceland) - Javier Esparza – University of Munich (Germany) - Salvatore La Torre – University of Salerno (Italy) - Angelo Montanari – University of Udine (Italy) - Mimmo Parente – University of Salerno (Italy) - Jean-François Raskin – Université libre de Bruxelles (Belgium) - Martin Zimmermann – Aalborg University (Denmark) Website https://gandalf23.uniud.it/

1 Jahr, 1 Monat

1
0
0 0

2024

2023

2022

2021

2020

2019

2018