We are happy to announce that the 109th Peripatetic Seminar on Sheaves and Logic (PSSL 109) is set to take place over the weekend from November 15th until November 17th in the heart of Leiden, the Netherlands. Following the tradition of PSSL, this is intended to be an informal meeting that covers all areas of category theory and its applications. We will have invited talks from Paolo Perrone (University of Oxford) and Maaike Zwart (IT University of Copenhagen).

The event will be held in a hybrid format so that even those who are unable to travel can participate. There are no registration fees, but we ask that you complete the registration form even if you plan to attend remotely.

NMR is the premier forum for results in the area of nonmonotonic reasoning. Its aim is to bring together active researchers in this broad field within knowledge representation and reasoning (KRR), including belief revision, uncertain reasoning, reasoning about actions, planning, logic programming, preferences, deontic reasoning, argumentation, causality, and many other related topics including systems and applications (see NMR page, https://nmr.cs.tu-dortmund.de).

NMR 2024 is co-located with the 21th International Conference on Principles of Knowledge Representation and Reasoning (KR2024). As in previous editions, NMR 2024 aims to foster connections between the different subareas of nonmonotonic reasoning and provide a forum for emerging topics. We especially invite papers on systems and applications, as well as position papers and papers addressing benchmark issues. The workshop will be structured by topical sessions fitting to the scopes of accepted papers.

NMR is the premier forum for results in the area of nonmonotonic reasoning. Its aim is to bring together active researchers in this broad field within knowledge representation and reasoning (KRR), including belief revision, uncertain reasoning, reasoning about actions, planning, logic programming, preferences, deontic reasoning, argumentation, causality, and many other related topics including systems and applications (see NMR page, https://nmr.cs.tu-dortmund.de).

NMR 2024 is co-located with the 21th International Conference on Principles of Knowledge Representation and Reasoning (KR2024). As in previous editions, NMR 2024 aims to foster connections between the different subareas of nonmonotonic reasoning and provide a forum for emerging topics. We especially invite papers on systems and applications, as well as position papers and papers addressing benchmark issues. The workshop will be structured by topical sessions fitting to the scopes of accepted papers.

NMR is the premier forum for results in the area of nonmonotonic reasoning. Its aim is to bring together active researchers in this broad field within knowledge representation and reasoning (KRR), including belief revision, uncertain reasoning, reasoning about actions, planning, logic programming, preferences, deontic reasoning, argumentation, causality, and many other related topics including systems and applications (see NMR page, https://nmr.cs.tu-dortmund.de).

NMR 2024 is co-located with the 21th International Conference on Principles of Knowledge Representation and Reasoning (KR2024). As in previous editions, NMR 2024 aims to foster connections between the different subareas of nonmonotonic reasoning and provide a forum for emerging topics. We especially invite papers on systems and applications, as well as position papers and papers addressing benchmark issues. The workshop will be structured by topical sessions fitting to the scopes of accepted papers.

One of the central issues discussed in the context of the societal impact of language technology is that machine learning systems can contribute to discrimination, for instance by propagating human biases and stereotypes. Despite efforts to address these issues, we are far from solving them.

The goal of this workshop is to bring together researchers from different fields to discuss the state of the art on bias measurement and mitigation in language technology and to explore new avenues of approach. For more information, read our Call for Abstracts.

One of the central issues discussed in the context of the societal impact of language technology is that machine learning systems can contribute to discrimination, for instance by propagating human biases and stereotypes. Despite efforts to address these issues, we are far from solving them.

The goal of this workshop is to bring together researchers from different fields to discuss the state of the art on bias measurement and mitigation in language technology and to explore new avenues of approach. For more information, read our Call for Abstracts.

Reconfigurable Transition Systems (RTS) are dynamic relational structures (graphs) that evolve along its execution, in the sense that their accessibility relation, their set of nodes or their labelling change when their edges are crossed. These structures have proven to be suitable to compactly represent complex reactive and reconfigurable behaviours. Namely, the ability of reacting or readapting under the influence of certain events is a very distinctive feature of many diverse situations and objects. An autonomous vehicle that changes its route due to a new strike occurring, the behaviour of a software component after a memory disposal, or a DNA mutation as the result of a viral infection, are different examples that witness the importance of modelling about changes in a determined situation. Practical user cases have aroused the interest of the logic community in the study of variants of RTS, by developing formal methods to properly reason about such situations.

Abstractionism/Neo-Fregeanism in the philosophy of mathematics is the thesis that Fregean abstraction principles, such as Hume's Principle, play an essential role in our knowledge of mathematical truths, the existence of mathematical objects, and our capacity to effect singular reference to these objects. The workshop will explore the logico-mathematical aspects of neo-Fregeanism, such as Frege's Theorem and the Bad Company Objection, as well as its philosophical aspects including Frege's Caesar Problem, the possibility of mathematical singular thought and/or reference, and the epistemology of abstraction principles. The workshop occasions the imminent publication of the second edition of Crispin Wright's Frege's Conception of Numbers as Objects. We will explore variations on themes from Wright.

To register, please send an email (not later than Oct 20) to: b.assadian at leeds.ac.uk.
Free admission; everybody is welcome.

Abstractionism/Neo-Fregeanism in the philosophy of mathematics is the thesis that Fregean abstraction principles, such as Hume's Principle, play an essential role in our knowledge of mathematical truths, the existence of mathematical objects, and our capacity to effect singular reference to these objects. The workshop will explore the logico-mathematical aspects of neo-Fregeanism, such as Frege's Theorem and the Bad Company Objection, as well as its philosophical aspects including Frege's Caesar Problem, the possibility of mathematical singular thought and/or reference, and the epistemology of abstraction principles. The workshop occasions the imminent publication of the second edition of Crispin Wright's Frege's Conception of Numbers as Objects. We will explore variations on themes from Wright.

To register, please send an email (not later than Oct 20) to: b.assadian at leeds.ac.uk.
Free admission; everybody is welcome.

Logic and strategic reasoning play a central role in multi-agent systems. Logic can be used, for instance, to express the agents' abilities, knowledge, and objectives. Strategic reasoning refers to algorithmic methods that allow for developing good behaviour for the agents of the system. At the intersection, we find logics that can express the existence of strategies or equilibria, and can be used to reason about them.

The LAMAS&SR workshop merges two international workshops: LAMAS (Logical Aspects of Multi-Agent Systems), which focuses on all kinds of logical aspects of multi-agent systems from the perspectives of artificial intelligence, computer science, and game theory, and SR (Strategic Reasoning), devoted to all aspects of strategic reasoning in formal methods and artificial intelligence. As such, the LAMAS&SR workshop aims to bring together researchers working on different aspects of either logic or strategic reasoning in computer science, artificial intelligence and multi-agent systems research, both from a theoretical and a practical viewpoint.

• The ConsILR series of conferences was initiated in 2001, following a Iaşi-Bucharest-Chișinău scientific cooperation on Romanian Language Processing. Over the years it coagulated a much larger community of researchers, belonging to different languages and equally to the computer science and the humanities domains.
• ConsILR-2024 is addressed to computer scientists and linguists, from PhD students to senior researchers, working on all areas of language modelling and processing, including lexicographers and creators of any forms of digital resources.

• The ConsILR series of conferences was initiated in 2001, following a Iaşi-Bucharest-Chișinău scientific cooperation on Romanian Language Processing. Over the years it coagulated a much larger community of researchers, belonging to different languages and equally to the computer science and the humanities domains.
• ConsILR-2024 is addressed to computer scientists and linguists, from PhD students to senior researchers, working on all areas of language modelling and processing, including lexicographers and creators of any forms of digital resources.

We are happy to announce that the 109th Peripatetic Seminar on Sheaves and Logic (PSSL 109) is set to take place over the weekend from November 15th until November 17th in the heart of Leiden, the Netherlands. Following the tradition of PSSL, this is intended to be an informal meeting that covers all areas of category theory and its applications. We will have invited talks from Paolo Perrone (University of Oxford) and Maaike Zwart (IT University of Copenhagen).

The event will be held in a hybrid format so that even those who are unable to travel can participate. There are no registration fees, but we ask that you complete the registration form even if you plan to attend remotely.

• The ConsILR series of conferences was initiated in 2001, following a Iaşi-Bucharest-Chișinău scientific cooperation on Romanian Language Processing. Over the years it coagulated a much larger community of researchers, belonging to different languages and equally to the computer science and the humanities domains.
• ConsILR-2024 is addressed to computer scientists and linguists, from PhD students to senior researchers, working on all areas of language modelling and processing, including lexicographers and creators of any forms of digital resources.

We are happy to announce that the 109th Peripatetic Seminar on Sheaves and Logic (PSSL 109) is set to take place over the weekend from November 15th until November 17th in the heart of Leiden, the Netherlands. Following the tradition of PSSL, this is intended to be an informal meeting that covers all areas of category theory and its applications. We will have invited talks from Paolo Perrone (University of Oxford) and Maaike Zwart (IT University of Copenhagen).

The event will be held in a hybrid format so that even those who are unable to travel can participate. There are no registration fees, but we ask that you complete the registration form even if you plan to attend remotely.

We are happy to announce that the 109th Peripatetic Seminar on Sheaves and Logic (PSSL 109) is set to take place over the weekend from November 15th until November 17th in the heart of Leiden, the Netherlands. Following the tradition of PSSL, this is intended to be an informal meeting that covers all areas of category theory and its applications. We will have invited talks from Paolo Perrone (University of Oxford) and Maaike Zwart (IT University of Copenhagen).

The event will be held in a hybrid format so that even those who are unable to travel can participate. There are no registration fees, but we ask that you complete the registration form even if you plan to attend remotely.

Kuwait University will hold its inaugural symposium in logic on February 18 th and 19th of 2025.

Keynote speakers: Graham Priest (CUNY Graduate Center), Gillian Russell (Australian National University), Suki Finn (Royal Holloway University of London) and Eduardo Barrio (University of Buenos Aires),

The ICTAC conference series aims at bringing together researchers and practitioners from academia, industry, and government to present research and exchange ideas and experiences within theoretical aspects of computing through methods and tools for system development. ICTAC also aims to promote research cooperation between developing and industrial countries.

The program will include Training and Tutorial lectures, talks by Invited Speakers, and presentations of Accepted Papers.

In celebration of the PhD defense of Daira Pinto Prieto, we are organizing a workshop focused on aggregation methods, uncertainty, and learning. The workshop will begin at 9 AM at the Amsterdam University Library and will be followed by Daira's defense of her thesis, Combining Uncertain Evidence: Logic and Complexity, at 2 PM in the Agnietenkapel.

The ICTAC conference series aims at bringing together researchers and practitioners from academia, industry, and government to present research and exchange ideas and experiences within theoretical aspects of computing through methods and tools for system development. ICTAC also aims to promote research cooperation between developing and industrial countries.

The program will include Training and Tutorial lectures, talks by Invited Speakers, and presentations of Accepted Papers.

The Australasian Association for Logic will hold  its annual conference in hybrid format (using  Zoom for the online component) from  Tuesday 26 November  to Thursday 28 November, 2024. The physical location will be the University of Sydney  in Sydney, New South Wales, Australia. The conference aims to bring together logicians, either based in Australasia or with the desire to connect with logicians based in Australasia, working in mathematical, computational, or philosophical logic. The conference is intended to provide a platform for presentation and exchange of ideas.

There will be three one-hour invited talks on different logic topics. The speakers will be Noam Greenberg (Victoria University of Wellington),  Annalisa Conversano  (Massey University),  and Manfred Droste (University of Leipzig).

The Latin-American Symposium on Dependable and Secure Computing (LADC) is the major event on dependability and security of computer systems in Latin America. LADC 2024 will feature technical sessions, workshops, tutorials, fast abstracts, keynote talks from international experts in the area, and an industrial track.

LADC'2024 will be co-located with the XIV Brazilian Symposium on Computing Systems Engineering (SBESC), in Recife, Brazil, November 26 to 29 2024.

The ICTAC conference series aims at bringing together researchers and practitioners from academia, industry, and government to present research and exchange ideas and experiences within theoretical aspects of computing through methods and tools for system development. ICTAC also aims to promote research cooperation between developing and industrial countries.

The program will include Training and Tutorial lectures, talks by Invited Speakers, and presentations of Accepted Papers.

The Australasian Association for Logic will hold  its annual conference in hybrid format (using  Zoom for the online component) from  Tuesday 26 November  to Thursday 28 November, 2024. The physical location will be the University of Sydney  in Sydney, New South Wales, Australia. The conference aims to bring together logicians, either based in Australasia or with the desire to connect with logicians based in Australasia, working in mathematical, computational, or philosophical logic. The conference is intended to provide a platform for presentation and exchange of ideas.

There will be three one-hour invited talks on different logic topics. The speakers will be Noam Greenberg (Victoria University of Wellington),  Annalisa Conversano  (Massey University),  and Manfred Droste (University of Leipzig).

The Latin-American Symposium on Dependable and Secure Computing (LADC) is the major event on dependability and security of computer systems in Latin America. LADC 2024 will feature technical sessions, workshops, tutorials, fast abstracts, keynote talks from international experts in the area, and an industrial track.

LADC'2024 will be co-located with the XIV Brazilian Symposium on Computing Systems Engineering (SBESC), in Recife, Brazil, November 26 to 29 2024.

The ICTAC conference series aims at bringing together researchers and practitioners from academia, industry, and government to present research and exchange ideas and experiences within theoretical aspects of computing through methods and tools for system development. ICTAC also aims to promote research cooperation between developing and industrial countries.

The program will include Training and Tutorial lectures, talks by Invited Speakers, and presentations of Accepted Papers.

The Australasian Association for Logic will hold  its annual conference in hybrid format (using  Zoom for the online component) from  Tuesday 26 November  to Thursday 28 November, 2024. The physical location will be the University of Sydney  in Sydney, New South Wales, Australia. The conference aims to bring together logicians, either based in Australasia or with the desire to connect with logicians based in Australasia, working in mathematical, computational, or philosophical logic. The conference is intended to provide a platform for presentation and exchange of ideas.

There will be three one-hour invited talks on different logic topics. The speakers will be Noam Greenberg (Victoria University of Wellington),  Annalisa Conversano  (Massey University),  and Manfred Droste (University of Leipzig).

The Latin-American Symposium on Dependable and Secure Computing (LADC) is the major event on dependability and security of computer systems in Latin America. LADC 2024 will feature technical sessions, workshops, tutorials, fast abstracts, keynote talks from international experts in the area, and an industrial track.

LADC'2024 will be co-located with the XIV Brazilian Symposium on Computing Systems Engineering (SBESC), in Recife, Brazil, November 26 to 29 2024.

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, and possibly leading to the proposal of novel neurosymbolic approaches. To witness this increasing need, tools and methodologies integrating Formal Methods and Artificial Intelligence, and more broadly symbolic and sub-symbolic solutions, are getting more and more attention, especially considering the wide-range and pervasive applications of machine and deep learning models.

The workshop is the main official initiative supported by the OVERLAY group. 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.

The ICTAC conference series aims at bringing together researchers and practitioners from academia, industry, and government to present research and exchange ideas and experiences within theoretical aspects of computing through methods and tools for system development. ICTAC also aims to promote research cooperation between developing and industrial countries.

The program will include Training and Tutorial lectures, talks by Invited Speakers, and presentations of Accepted Papers.

The Latin-American Symposium on Dependable and Secure Computing (LADC) is the major event on dependability and security of computer systems in Latin America. LADC 2024 will feature technical sessions, workshops, tutorials, fast abstracts, keynote talks from international experts in the area, and an industrial track.

LADC'2024 will be co-located with the XIV Brazilian Symposium on Computing Systems Engineering (SBESC), in Recife, Brazil, November 26 to 29 2024.

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, and possibly leading to the proposal of novel neurosymbolic approaches. To witness this increasing need, tools and methodologies integrating Formal Methods and Artificial Intelligence, and more broadly symbolic and sub-symbolic solutions, are getting more and more attention, especially considering the wide-range and pervasive applications of machine and deep learning models.

The workshop is the main official initiative supported by the OVERLAY group. 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.