Monthly 227
July 01, 2022
Monthly 227Past Issues - How to submit an announcement
Table of Content
- DEADLINES
- SIGLOG MATTERS
- CALLS
- LearnAut 2022 (CALL FOR PARTICIPATION)
- LPNMR 2022 (CALL FOR PARTICIPATION)
- LPNMR Doctoral Consortium 2022 (CALL FOR CONTRIBUTIONS)
- WiL 2022 (CALL FOR PARTICIPATION)
- DECFOML (CALL FOR PARTICIPATION)
- ASL 2022 (CALL FOR PARTICIPATION)
- ESSLLI 2022 (CALL FOR PARTICIPATION)
- AiML 2022 (CALL FOR PARTICIPATION)
- CPP 2023 (CALL FOR PAPERS)
- OVERLAY 2022 (CALL FOR PAPERS)
- FSEN 23 (CALL FOR PAPERS)
- JOB ANNOUNCEMENTS
Deadlines
| Datalog 2.0 2022: | Jul 01, 2022 (Paper registration), Jul 08, 2022 (Paper) |
| ACKERMANN AWARD 2022: | Jul 01, 2022 (Deadline for nomination) |
| LPNMR Doctoral Consortium 2022: | Jul 06, 2022 (Application) |
| RCRA 2022: | Jul 10, 2022 (Paper deadline) |
| FLOC 2022: | Jul 20, 2022 (Regular registration closes) |
| LPNMR 2022: | Jul 20, 2022 (Early registration deadline) |
| AiML 2022: | Aug 10, 2022 (Registration deadline) |
| The ALP Alain Colmerauer Prolog Heritage Prize: | Sep 02, 2022 (Deadline for nominations) |
| CPP 2023: | Sep 14, 2022 (Abstract), Sep 21, 2022 (Paper) |
| OVERLAY 2022: | Sep 30, 2022 (Paper) |
| FSEN 23: | Oct 07, 2022 (Abstract), Oct 14, 2022 (Paper) |
| PODS 2023: | Nov 28, 2022 (Second cycle abstract), Dec 05, 2022 (Full paper) |
FLOC 2022: The Eighth Federated Logic Conference
CALL FOR PARTICIPATION- IMPORTANT INFORMATION
Regular registration closes: Jul 20, 2022
ON-SITE REGISTRATION will be possible during the conference.
The conference will take place IN PERSON, see https://www.floc2022.org/covid-19 for the latest COVID regulations.
It is imperative that you BOOK ACCOMMODATION ASAP to avoid disappointment.- Registration: https://www.floc2022.org/registration
- Accommodation: https://www.floc2022.org/accommodation
Registration for a workshop day means you can attend any other workshop on the same day. Workshop registration includes lunches and coffee breaks. - ACCOMMODATION
https://www.floc2022.org/accommodation
We have made block bookings at several locations in Haifa until mid-May and any unsold rooms are now being released. It is imperative that you book NOW to avoid disappointment, as July/August is a busy period in Haifa! - ABOUT FLOC
During the past forty years there has been extensive, continuous, and growing interaction between logic and computer science. In many respects, logic provides computer science with both a unifying foundational framework and a tool for modeling. In fact, logic has been called “the calculus of computer science”, playing a crucial role in diverse areas such as artificial intelligence, computational complexity, distributed computing, database systems, hardware design, programming languages, and software engineering.
The Federated Logic Conference brings together several international conferences related to mathematical logic and computer science and was first organized in 1996, as part of the DIMACS Special Year on Logic and Algorithms. Since then FLoC was held in Trento in 1999, Copenhagen in 2002, Seattle in 2006, Edinburgh in 2010, Vienna in 2014, and Oxford in 2018.
The eighth Federated Logic Conference (FLoC'22) will be held in Haifa, Israel, in July 2022. - CONFERNCES
FLoC 2022 brings together twelve major international conferences, 70+ workshops, and several special events.- CAV http://i-cav.org/2022/
- CP https://cp2022.a4cp.org/
- CSF https://www.ieee-security.org/TC/CSF2022/
- DL https://dai.fmph.uniba.sk/events/dl2022/
- FSCD https://www.cs.tau.ac.il/~nachumd/FSCD/
- ICLP https://software.imdea.org/Conferences/ICLP2022/
- IJCAR https://easychair.org/cfp/IJCAR-2022
- ITP https://itpconference.github.io/ITP22/
- KR https://kr2022.cs.tu-dortmund.de/
- NMR https://sites.google.com/view/nmr2022/home-page
- LICS https://lics.siglog.org/lics22/
- SAT http://satisfiability.org/SAT22/
- KEYNOTES/PLENARY LECTURES
- Catuscia Palamidessi, Director of Research at INRIA
- Don Knuth, CP invited speaker, The Art of Computer Programming at Stanford University
- Orna Kupferman, School of Computer Science and Engineering at The Hebrew University of Jerusalem
- Ziyad Hanna, Corporate Vice President at Cadence Design Systems
- Aarti Gupta, Department of Computer Science at Princeton University
- CONFERENCE INVITED SPEAKERS
- CAV: Arie Gurfinkel, Neha Rungta
- FSCD: Cynthia Kop, Alwen Tiu
- ICLP: Fabrizio Riguzzi, Theresa Swift
- LICS: Amal Ahmed, Mikolaj Bojanczyk
- KR: Yejin Choi, Tony Hunter, Leonid Libkin
- SOCIAL EVENTS
There is one Reception and one Banquet during each FLoC block, and one Workshop Dinner during each of the workshop blocks. For details, see https://www.floc2022.org/program. Guests are welcome: you can reserve your place(s) via the registration system. - SPECIAL EVENTS
Two logic lounges are held - one on August 2nd and the other on August 7th. See https://www.floc2022.org/logiclounge for details. - MENTORING WORKSHOPS
Two mentoring workshops will be held, on August 1 and August 5.
The purpose of the FLoC 2022 Mentoring Workshop (FLoC'22 MW) is to provide mentoring and career advice to early-stage graduate students, to attract them to pursue research careers in various logic-related areas. The workshop will particularly encourage participation of women and under-represented minorities. There will be two workshop days, one for each FLoC Conference Block, so the students can choose which one of the two they prefer to attend. The workshop program will include a number of talks and interactive sessions. Talks will give an overview of the field along with brief introductions to the varied topics highlighted at FLoC. Other talks will provide mentoring and career advice, from academia and industry.
Confirmed speakers:- Rajeev Alur, University of Pennsylvania, USA
- Nikolaj Bjorner, Microsoft Research, USA
- Liron Cohen, Ben-Gurion University, Israel
- Christoph Haase, University of Oxford, UK
- Kristin Rozier, Iowa State University, USA
- Neha Rungta, AWS, USA
- Natarajan Shankar, SRI, USA
- Alexandra Silva, Cornell University, USA
- SPONSORSHIP
We are indebted to our sponsors for making FLoC possible, see: https://www.floc2022.org/sponsors - LOCAL INFORMATION
Our website includes details for travel (including accessibility), venues, and things to do in Haifa for our attendees and their families: see https://www.floc2022.org/information for more information.
FLoC 2022 promises to be an exciting meeting, and we hope to see you in Haifa! - CALL FOR VOLUNTEERS
FLoC 2022 invites students to apply to our volunteer program. Volunteers will receive a stipend (a variable amount towards registration and travel costs for students depending on the origin of travel) in exchange for volunteer work at the conference. FLoC’22 volunteers will be able to interact with speakers and participants, network with other researchers, and meet graduate students from all over the world. See https://www.floc2022.org/volunteers for details. - ADDITIONAL INFORMATION
See https://www.floc2022.org/about
ACM SIGLOG ELECTIONS ANNOUNCEMENT
ANNOUNCEMENT- We are pleased to announce the 2022 ACM SIGLOG election results for the term of 1 July 2022 – 30 June 2025. The new SIGLOG Chair is Catuscia Palamidessi and the other officers are Andrzej Murawski (Vice-Chair), Elaine Pimentel (Treasurer) and Sandra Alves (Secretary).
- In 2014, the ACM chartered a Special Interest Group on Logic and Computation (ACM SIGLOG). One can join SIGLOG by visiting https://campus.acm.org/public/qj/gensigqj/siglist/gensigqj_siglist.cfm
It is possible to join SIGLOG without joining ACM (the SIGLOG membership fee is $25 and $15 for students).
MFPS 2022: International Conference on Mathematical Foundations of Programming Semantics
CALL FOR PARTICIPATION- MFPS 38 will be held on July 11-13, 2022. We plan to hold a hybrid conference with the in-person event at Cornell University in Ithaca, New York, and an in-person local event in Paris, France.
- REGISTRATION
https://www.cs.cornell.edu/mfps-2022/#registrationandaccommodations
LearnAut 2022: The 4th workshop on Learning & Automata - satellite of ICALP’22
CALL FOR PARTICIPATION- Location: building Halle aux Farines located in the heart of the site “Grands Moulins” of the Université de Paris.
This event will be conducted in hybrid mode: in person in Paris (organizers' preferred choice) and virtually. Registration is mandatory for both modes (please find the corresponding links here: https://learnaut22.github.io/registration.html)
It is our pleasure to inform you about LearnAut 2022, the fourth edition of the workshop, this time co-located with ICALP.
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 goal 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.
The LearnAut workshop will consist of 3 invited talks and 14 contributed talks from researchers whose submitted works were selected after a double blind peer-reviewed phase. An important amount of time will be kept for interactions between participants. - Invited Speakers
- Jeffrey Heinz, Stony Brook University, USA
- Sheila McIlraith, University of Toronto, Canada
- Ariadna Quattoni, Universitat Politècnica de Catalunya, Spain
LPNMR 2022: 16th International Conference on Logic Programming and Non-monotonic Reasoning
CALL FOR PARTICIPATION- REGISTRATION
Early registration deadline: Jul 20, 2022
For more information, visit: https://sites.google.com/view/lpnmr2022/registration We remind that at least one author of each accepted paper must early register in order to have the paper included in the proceedings. - AIMS AND SCOPE
LPNMR 2022 is the sixteenth in the series of international meetings on logic programming and non-monotonic reasoning. LPNMR is a forum for exchanging ideas on declarative logic programming, non-monotonic reasoning, and knowledge representation. The aim of the conference is to facilitate interactions between researchers and practitioners interested in the design and implementation of logic-based programming languages and database systems, and those working in knowledge representation and non-monotonic reasoning. LPNMR strives to encompass theoretical and experimental studies that have led or will lead to advances in declarative programming and knowledge representation, as well as their use in practical applications. A Doctoral Consortium will also be a part of the program.
LPNMR 2022 aims to bring together researchers from LPNMR core areas and application areas of the aforementioned kind in order to share research experiences, promote collaboration and identify directions for joint future research. - VENUE
The main conference will take place in Genova Nervi, Italy, in the Collegio Emiliani (http://www.collegioemiliani.it/ (in Italian)), which is a college directly situated on the sea. Nervi is a former fishing village, now a suburb of Genoa. Nervi is 7 km east of central Genova. Genova is the capital of Liguria, stretching along the bay of the same name from Nervi to the east as far as Voltri to the west. The pride of Nervi is the sea promenade, a 2 km walkway along the cliffs. The stunning views make it one of Italy's most beautiful promenades. Nervi is also well known for its Parchi, a park of about 22 acres (9 hectares) created from the gardens of the Villa Grimaldi, Villa Groppallo, and Villa Serra. It has typical Mediterranean plant species and many exotic species. Genova's old town district (reachable by local train, by bus, as well as by boat) is one of the largest in Europe, and hosts some remarkable artistic and architectural treasures, including the Palazzi dei Rolli, fifty or so homes of the aristocracy entered on the UNESCO World Heritage List. In addition to offering a wealth of cultural attractions, Genova is a fascinating destination for tourists, with its scenic vantage points, sea promenades, aristocratic villas and of course the Riviera to the east and west, both easy to reach: Portovenere and Le Cinque Terre (also UNESCO World Heritage Sites), Portofino and Camogli to the east and Alassio, Sanremo, Bordighera to the west.
Workshops and associated events, differently from what we mentioned in the previous call, are planned to be held in the main conference venue as well.
Of course, we will continuously monitor the pandemic situation in order to evaluate whether the conference can be indeed held as an in-person event, or we will need to switch to a hybrid event, if not completely on-line.
LPNMR Doctoral Consortium 2022
CALL FOR CONTRIBUTIONS- TOPIC AND OBJECTIVE
The LPNMR Doctoral Consortium (DC) is to be held as part of the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022) in Genova, Italy, September 5-8, 2022. The DC provides a forum for doctoral students working in all areas related to logic programming and non-monotonic reasoning. The DC gives students the opportunity to present and discuss their research and to obtain feedback from peers as well as world-renowned experts in a supportive environment.
The 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR) is a forum for exchanging ideas on declarative logic programming, non-monotonic reasoning, and knowledge representation. The aim of the conference is to facilitate interactions between researchers and practitioners interested in the design, implementation and application of logic-based programming languages and database systems, and those who work in the area of knowledge representation and non-monotonic reasoning.
During the DC, there will be significant time for students to present their work, and meet mentors from their own and closely related fields. - TARGET AUDIENCE
The DC is designed for students currently enrolled in a PhD program, though we are also open to exceptions (e.g., students currently in a masters program and interested in doctoral studies). Students at any stage in their doctoral studies are encouraged to apply for participation in the DC, but preference will be given to students who have settled on a research topic or direction but still have some way to go in their studies. Applicants are expected to conduct research in areas related to logic and constraint programming; topics of interest include (but are not limited to):- Theoretical Foundations of LPNMR systems, including semantics of new or existing languages, new language extensions, and computational complexity
- Implementation of LPNMR systems, including new systems and algorithms
- Applications of LPNMR
- APPLICATION PROCESS
Please see the full call for the application process: https://sites.google.com/view/lpnmr2022/call-for/dc - IMPORTANT DATES
Application submission: Jul 06, 2022 Notification: Jul 20, 2022 Camera-ready Version: Aug 10, 2022 Doctoral Consortium (tentative): Sep 05, 2022
WiL 2022: 6th Women in Logic Workshop
CALL FOR PARTICIPATION- Are you a woman working in logic? Please join us on July 31 at WiL, give a talk, and enjoy a day with Women in Logic!
- Women in Logic 2022 is a satellite event of the 8th Federated Logic Conference (FLoC 2022) to be held in Haifa, Israel, from July 31 to August 12, 2022. The Women in Logic workshop (WiL) provides an opportunity to increase awareness of the valuable contributions made by women in the area of logic in computer science. Its main purpose is to promote the excellent research done by women, with the ultimate goal of increasing their visibility and representation in the community. Our aim is to:
- provide a platform for female researchers to share their work and achievements;
- increase the feelings of community and belonging, especially among junior faculty, post-docs, and students through positive interactions with peers and more established faculty;
- establish new connections and collaborations;
- foster a welcoming culture of mutual support and growth within the logic research community.
- INVITED SPEAKERS
- Dana Fisman (Ben-Gurion University of the Negev)
- Delia Kesner (IRIF - Université de Paris)
DECFOML: LICS 2022 Affiliated Workshop on Decidable Fragments of First-order Modal Logic
CALL FOR PARTICIPATION- Invited Speakers:
- Eugenio Orlandelli (University of Bologna)
- Ian Pratt-Hartmann (University of Manchester)
- Frank Wolter (University of Liverpool)
- To register for the workshop: https://www.floc2022.org/registration (You need not register for the conference as well.)
ASL 2022: Workshop on Advances in Separation Logics
CALL FOR PARTICIPATION- REGISTRATION
In-person registration is done via the FLOC 2022 registration. Note FLOC registration deadline.
Virtual participation is free of charge but requires registration via the following link: https://asl2022.rsvpify.com/ - KEYNOTE SPEAKERS
- Philippa Gardner, Imperial College London
- Ralf Jung, MIT CSAIL
ESSLLI 2022: 33rd European Summer School on Logic, Language and Information.
CALL FOR PARTICIPATION- Registration is now open for the 33rd European Summer School in Logic, Language and Information (ESSLLI), taking place from 8-19 August, 2022 at the National University of Ireland Galway: https://2022.esslli.eu/
- OVERVIEW
Registration is open for ESSLLI 2022, which will take place from August 8 to August 19, 2022 at The National University of Ireland Galway. ESSLLI is an annual event organised under the auspices of the Association for Logic, Language and Information (FoLLI). ESSLLI 2022 offers an exciting two-week programme, consisting of the following:- Workshops in logic, linguistics, and computer science
- Courses at three different levels (foundational, introductory, advanced) and in three areas: Language and Computation; Logic and Computation; Logic and Language.
- Student session
- Evening lectures by distinguished researchers
- Social activities.
- Detailed information can be found at the website https://2022.esslli.eu/
AiML 2022: 14TH INTERNATIONAL CONFERENCE ON ADVANCES IN MODAL LOGIC
CALL FOR PARTICIPATION- REGISTRATION LINK
Registration deadline: Aug 10, 2022
Please visit https://aiml2022.irisa.fr/registration/ - WEBPAGES
AiML 2022: http://www.aiml.net
AiML Series: https://aiml2022.irisa.fr/
LAMAS&SR: https://lamassr.github.io/ - TOPICS
- history of modal logic
- philosophy of modal logic
- applications of modal logic
- computational aspects of modal logic
- theoretical aspects of modal logic
- specific instances and variations of modal logic
- INVITED SPEAKERS
- Willem Conradie, University of the Witwatersrand
- Wesley Holliday, University of California, Berkeley
- Francesca Poggiolesi, Sorbonne and CNRS
- Rineke Verbrugge, University of Groningen (joint LAMAS&SR speaker)
CPP 2023: Certified Programs and Proofs
CALL FOR PAPERS- Certified Programs and Proofs (CPP) is an international conference on practical and theoretical topics in all areas that consider formal verification and certification as an essential paradigm for their work. CPP spans areas of computer science, mathematics, logic, and education.
CPP 2023 (https://popl23.sigplan.org/home/CPP-2023) will be held on 16-17 January 2023 and will be co-located with POPL 2023 in Boston, Massachusetts, United States. CPP 2023 is sponsored by ACM SIGPLAN, in cooperation with ACM SIGLOG.
CPP 2023 will welcome contributions from all members of the community. The CPP 2023 organizers will strive to enable both in-person and remote participation, in cooperation with the POPL 2023 organizers. - IMPORTANT DATES (Strict, AoE)
Abstract submission: Sep 14, 2022 Paper submission: Sep 21, 2022 Notification (tentative): Nov 21, 2022 Camera Ready Deadline (tentative): Dec 12, 2022 Conference: Jan 16-17, 2023 - DISTINGUISHED PAPER AWARDS
Around 10% of the accepted papers at CPP 2023 will be designated as Distinguished Papers. This award highlights papers that the CPP program committee thinks should be read by a broad audience due to their relevance, originality, significance and clarity. - TOPICS OF INTEREST
We welcome submissions in research areas related to formal certification of programs and proofs. The following is a non-exhaustive list of topics of interest to CPP:- certified or certifying programming, compilation, linking, OS kernels, runtime systems, security monitors, and hardware;
- certified mathematical libraries and mathematical theorems;
- proof assistants (e.g, ACL2, Agda, Coq, Dafny, F*, HOL4, HOL Light, Idris, Isabelle, Lean, Mizar, Nuprl, PVS, etc);
- new languages and tools for certified programming;
- program analysis, program verification, and program synthesis;
- program logics, type systems, and semantics for certified code;
- logics for certifying concurrent and distributed systems;
- mechanized metatheory, formalized programming language semantics, and logical frameworks;
- higher-order logics, dependent type theory, proof theory, logical systems, separation logics, and logics for security;
- verification of correctness and security properties;
- formally verified blockchains and smart contracts;
- certificates for decision procedures, including linear algebra, polynomial systems, SAT, SMT, and unification in algebras of interest;
- certificates for semi-decision procedures, including equality, first-order logic, and higher-order unification;
- certificates for program termination;
- formal models of computation;
- mechanized (un)decidability and computational complexity proofs;
- formally certified methods for induction and coinduction;
- integration of interactive and automated provers;
- logical foundations of proof assistants;
- applications of AI and machine learning to formal certification;
- user interfaces for proof assistants and theorem provers;
- teaching mathematics and computer science with proof assistants.
- SUBMISSION GUIDELINES
Please see the full call for comprehensive information about submission guidelines, publication, copyright and open access.
OVERLAY 2022
CALL FOR PAPERS- The increasing adoption of Artificial Intelligence techniques in safety-critical systems, employed in real world scenarios, requires the design of reliable, robust, and verifiable methodologies. Artificial Intelligence systems employed in such applications need to provide formal guarantees about their safety, increasing the need for a close interaction between the Artificial Intelligence and Formal Methods scientific communities.
To witness this increasing need, tools and methodologies integrating Formal Methods and Artificial Intelligence solutions are getting more and more attention.
The workshop is the main official initiative supported by the OVERLAY group (https://overlay.uniud.it). The event aims at establishing a stable, long-term scientific forum on relevant topics connected to the relationships between Artificial Intelligence and Formal Methods, by providing a stimulating environment where researchers can discuss about opportunities and challenges at the border of the two areas.
Important goals of the workshop are (i) to encourage the ongoing interaction between the formal methods and artificial intelligence communities, (ii) to identify innovative tools and methodologies, and (iii) to elicit a discussion on open issues and new challenges.
This year edition will be held between 28th November and 4th December 2022 (the precise day(s) will be announced later), as a hybrid workshop co-located with AIxIA 2022 (https://aixia2022.uniud.it), which is scheduled to be held in Udine, Italy (unless it will be an online event, depending on the pandemic emergency situation). - INVITED SPEAKER
Luca Bortolussi (University of Trieste, Italy) - CALL FOR CONTRIBUTIONS
We accept extended abstracts (4 pages + references) focusing on the interaction between Artificial Intelligence and Formal Methods. Invited talks will complement the presentations of contributed papers.
Topics of interest include (but are not limited to):- automata theory
- automated reasoning
- automated planning and scheduling
- controller synthesis
- formal specification languages
- formal verification
- game theory
- hybrid and discrete systems
- logics in computer science
- reactive synthesis
- runtime verification and monitoring
- specification and verification of machine learning systems
- tools and applications
We plan on including all papers in the Proceedings of the event, published at CEUR Workshop Proceedings. CEUR WS proceedings are archival proceedings indexed by DBLP and Scopus.
Submitted papers should not exceed four (4) pages plus references. Authors are asked to use CEUR's LaTeX style, available at http://ceur-ws.org/Vol-XXX/CEURART.zip.
Submissions must be in PDF format and will be handled via the EasyChair Conference system at the following address: https://easychair.org/conferences/?conf=overlay22. - IMPORTANT DATES
Paper submission: Sep 30, 2022 Acceptance notification: Oct 21, 2022 Camera-ready submission: Nov 04, 2022 Workshop: between 28th November and 4th December, 2022 (the precise day(s) will be announced later)
FSEN 23: Tenth International Conference on Fundamentals of Software Engineering 2023 - Theory and Practice
CALL FOR PAPERS- ABOUT FSEN
Fundamentals of Software Engineering (FSEN) is an international conference that aims to bring together researchers, engineers, developers, and practitioners from academia and industry to present and discuss their research work in the area of formal methods for software engineering. Additionally, this conference seeks to facilitate the transfer of experience, adaptation of methods, and where possible, foster collaboration among different groups. The topics of interest cover all aspects of formal methods, especially those related to advancing the application of formal methods in the software industry and promoting their integration with practical engineering techniques. Following the success of the previous FSEN editions, the next edition of the FSEN conference will take place in Tehran, Iran, May 3-5, 2023. - IMPORTANT DATES (AoE)
Abstract submission: Oct 07, 2022 Paper submission: Oct 14, 2022 Notification: Dec 02, 2022 Final pre-conference version: Jan 20, 2023 Conference: May 3-5, 2023 - KEYNOTE SPEAKERS
- Wolfgang Ahrendt, Chalmers University of Technology, Sweden
- Mohammad Reza Mousavi, King's College London, UK
- Heike Wehrheim, University of Oldenburg, Germany
- TOPICS OF INTEREST
The topics of this conference include, but are not restricted to, the following:- Models of programs and software systems
- Software specification, validation, and verification
- Software testing
- Software architectures and their description languages
- Object, actor and multi-agent systems
- Coordination, feature interaction and software product lines
- Integration of formal and informal methods
- Integration of different formal methods
- Component-based and service-oriented software systems
- Collective, self-adaptive and cyber-physical software systems
- Model checking and theorem proving
- Quantitative formal methods
- Software and hardware verification
- CASE tools and tool integration
- Industrial applications
- PAPER SUBMISSION
See full call for submission instructions: http://fsen.ir/2023
POST-DOC POSITION IN LOGIC at LUCI-UNIMI
JOB ANNOUNCEMENT- PROJECT
This project aims to develop logics for the verification of properties of interest in the development and use of machine learning systems in Artificial Intelligence. In particular, the aim is to develop methods for demonstrating or verifying models that simulate the probabilistic structures underlying supervised, unsupervised and/or reinforcement learning methods and to check for biases and assess their risks.
The project activities consist of:
1) Formulation of multi-agent models and/or probabilistic deductive reasoning checking for forms of bias and risk
2) Presentation of scientific results at international conferences
3) Publication of research results in international journals
4) Supporting the organisation of scientific events - PROFILE OF THE RESEARCHER
The ideal candidate has obtained a PhD in Logic or related field (Philosophy/AI/CS/Mathematics), with knowledge of least two of the following disciplines:- proof theory and automatic theorem proving
- temporal logics and model checking
- formal theories of computational trust
- formal models of bias and risk in AI
- HOW TO APPLY & DEADLINE
The deadline for application is on 09th September 2022 at 23:59 CET (strict – please note that late applications cannot be considered). Please follow carefully the instructions available on the official call, published here: https://www.unimi.it/it/ricerca/ricerca-lastatale/fare-ricerca-da-noi/assegni-e-borse/bandi-assegni-di-ricerca/bando-di-tipo-b-prof-primiero-id-5378
Online interviews are scheduled on 19th September 2022 at 10:00 CET.
For any informal inquiry please write to giuseppe.primiero@unimi.it
To the SIGLOG or LICS website