Meetings/Workshops on Applied Mathematics (in general) in the Netherlands

Submit a meeting

Select a location:
Australia (1) - Austria (1) - Azerbaijan (1) - Bulgaria (1) - Canada (2) - China (1) - Croatia (1) - France (5) - Germany (7) - Greece (1) - Hungary (2) - India (3) - Italy (1) - Macedonia (1) - Malaysia (2) - Mayotte (1) - Morocco (1) - Netherlands (1) - Pakistan (1) - Poland (5) - Portugal (1) - Romania (1) - Senegal (1) - Slovenia (1) - Spain (6) - Taiwan (1) - Turkey (6) - Ukraine (1) - United Kingdom (4) - United States (12) - ALL COUNTRIES (73)

1
Workshop "Algebraic Proof Theory for Social Behaviour"
02 Jul 2018 - 06 Jul 2018 • Delft, Netherlands
Abstract:
The major trend in modern logic is the move from logic to logics. The need for formal modelling of reasoning in various fields of science (philosophy, linguistics, AI, cognitive, social and management sciences) led to the design of hundreds of bespoke logics. For instance, the focus on multi-agent interaction and social behaviour has led to the introduction of logics specific to contexts involving e.g. dynamic changes, uncertainty, incomplete and inconsistent information, which are at odds with reasoning as is formalized in classical logic. This rapid expansion has generated the need to develop overarching theories capable to provide uniform proofs of fundamental properties--such as soundness, completeness, analiticity, decidability--for each member of vast families of logics, while at the same time accounting in a modular way for the specific features of each. Algebraic proof theory is a research area in which these general results can be achieved using insights from algebraic logic, universal algebra, duality and representation theory for classes of algebras. This workshop aims at bring together researchers in algebraic proof theory and its applications, explore promising research directions, and foster collaborations.
Event listing ID:
1074112

View all listed conferences in the Netherlands.



Conference-Service.com offers, as part of its business activities, a directory of upcoming scientific and technical meetings. The calendar is published for the convenience of conference participants and we strive to support conference organisers who need to publish their upcoming events. Although great care is being taken to ensure the correctness of all entries, we cannot accept any liability that may arise from the presence, absence or incorrectness of any particular information on this website. Always check with the meeting organiser before making arrangements to participate in an event!

AIP Conference Proceedings
AIP Exhibitor Management Services
2nd Global Conference on Applied Physics, Mathematics and Computing
Last updated: 28 May 2018