Conferences and Meetings on Mathematical Logic

Conference-Service.com offers, as part of our 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!

Meeting organisers can submit meetings free of charge for inclusion into the listing.

ALL COUNTRIES

1.
 
SNR'17 — 3nd International Workshop on Symbolic and Numerical Methods for Reachability Analysis
ID
855452
Start date
22 Apr 2017
Location
Uppsala, Sweden
Abstract
Hybrid systems are complex dynamical systems that combine discrete and continuous components. Reachability questions, regarding whether a system can run into a certain subset of its state space, stand at the core of verification and synthesis problems for hybrid systems. There are several successful methods for hybrid systems reachability analysis. Some methods explicitly construct flow-pipes that over-approximate the set of reachable states over time, where efficient computation of such over-approximations requires symbolic representations such as support functions. Other methods based on satisfiability checking technologies, symbolically encode reachability properties as logical formulas, while solving such formulas requires numerically-driven decision procedures. Last but not least, also automated deduction and the usage of theorem provers led to efficient analysis approaches. The goal of this workshop is to bring together researchers working with different reachability analysis techniques and to seek for synergies between the different approaches.
Contact
Erika Abraham;     Email: abraham@cs.rwth-aachen.de
Topics
cyber-physical systems, hybrid systems, formal methods, verification, safety, reachability analysis, simulation
Related subject(s)
2.
 
IFSCOM2017 — 4th International Intuitionistic Fuzzy Sets and Contemporary Mathematics Conference
ID
869973
Dates
03 May 2017 - 07 May 2017
Location
Mersin, Turkey
Abstract
The conference will be held at LAMOS HOTEL in Mersin, TURKEY. This is the 4th scientific conference in the field of Mathematic areas, IFSs and Structures, Controls, Robotics, Generalized Nets, Logic and Applications, Modellings, Modal Operators on IFSs & Others. Atanassov Awards will be organized in IFSCOM2017. The purpose of the “Atanassov Awards” is to encourage Advisors and Graduate Students.
Contact
Email: oaq.chair@gmail.com
Topics
All areas of Mathematics; Algebra, Analysis, Topology, Geometry, Intuitionistic Fuzzy Sets and Structures, Applied Mathematics, Logic and Applications, etc. Also, Generalized Nets, Controls, Robotics and other related areas.
Event website
3.
 
Formal Epistemology Workshop (FEW) 2017
ID
866817
Dates
26 May 2017 - 28 May 2017
Location
Department of Philosophy, University of Washington, United States
Topics
Epistemology, Metaphysics, Philosophy of Action, Philosophy of Language, Philosophy of Mind, M&E, Miscellaneous, General Philosophy of Science, Logic and Philosophy of Logic, Philosophy of Cognitive Science, Philosophy of Computing and Information, Philosophy of Mathematics, Philosophy of Probability, Philosophy of Social Science, Philosophy of Science, Miscellaneous
4.
 
Logica 2017
ID
848954
Dates
19 Jun 2017 - 23 Jun 2017
Location
Hejnice, Czech Republic
Abstract
LOGICA 2017 is the 31st in the series of annual international symposia devoted to logic. Invited speakers are Hartry Field, Bob Hale, Shahid Rahman, Sonja Smets.

The official language of the symposium is English. Contributions devoted to any of the wide range of logical problems are welcome except those focused on specialized technical applications. Particularly welcome are contributions that cover issues interesting both for ‘philosophically’ and for ‘mathematically’ oriented logicians.

Contact
Vit Puncochar;     Email: logica@flu.cas.cz
Topics
philosophical logic, mathematical logic
5.
 
Logica 2017
ID
866794
Dates
19 Jun 2017 - 23 Jun 2017
Location
Department of Logic, Institute of Philosophy, Czec, Czech Republic
Topics
Logic and Philosophy of Logic, Philosophy of Mathematics
6.
 
Fourth Mile High Conference on Nonassociative Mathematics
ID
881444
Dates
29 Jul 2017 - 05 Aug 2017
Location
University of Denver, Denver, United States
Abstract
The Fourth Mile High Conference is an international conference on all aspects of nonassociative mathematics, including: The algebraic theory of quasigroups, loops, Lie algebras, Jordan algebras and quandles; the combinatorial theory of latin squares and triple systems; the geometric theory of 3-nets and latin square designs; applications of octonions and related structures in physics; applications of quandles in knot theory. The conference will open with a day (July 30) of introductory lectures on self-distributive structures.
Related subject(s)
7.
 
MFO Workshop — Proof Complexity and Beyond
ID
778908
Dates
13 Aug 2017 - 19 Aug 2017
Location
Oberwolfach, Germany
Related subject(s)
8.
 
ECAP 9 — The ninth European Congress of Analytic Philosophy
ID
866780
Dates
21 Aug 2017 - 26 Aug 2017
Location
Munich Center for Mathematical Philosophy, Ludwig , Germany
Abstract
The European Society for Analytic Philosophy (ESAP) organizes a major congress every three years. The ninth European Congress of Analytic Philosophy (ECAP 9) will take place at LMU Munich, Germany, from August 21 to 26, 2017. The goal of this congress is to bring together analytic philosophers from Europe and all over the world to discuss their work and to exchange ideas. There will also be four plenary speakers and nine panel speakers as well as several invited symposia representing the diverse field of analytic philosophy.
Topics
Epistemology, Metaphysics, Philosophy of Language, Philosophy of Mind, Philosophy of Religion, European Philosophy, General Philosophy of Science, Logic and Philosophy of Logic, Philosophy of Mathematics, Philosophy of Physical Science, Philosophy of Social Science, Aesthetics, Applied Ethics, Meta-Ethics, Normative Ethics, Philosophy of Law, Social and Political Philosophy
9.
 
Trends XVII — Trends in Logic XVII
ID
873077
Dates
12 Sep 2017 - 15 Sep 2017
Location
Lublin, Poland
Abstract
The 17th Trends in Logic international conference will be held at The John Paul II Catholic University of Lublin, Poland, from September 12 to September 15, 2017 under the title “Traditional and new perspectives on deontic logic and agency modeling”. It is organized by the Department of the Foundations of Computer Science at the Faculty of Philosophy of the John Paul II Catholic University of Lublin, in co-operation with the journal Studia Logica (see http://www.studialogica.org and http://link.springer.com/journal/11225). We call for relevant contributions applying the different approaches to: deontic logic, normative aspects of action theory, formal ethics,legal theory, handling norms in computer systems. A special session on obligations derived from permissions, related to the a special issue of Studia Logica, will be a part of the conference. Extended abstracts of a length between 1 and 3 pages (including references), which will undergo a short reviewing process should be submitted in LaTeX preferably (but not mandatorily) according to the Trends style, available for downloading at http://www.studialogica.org. All papers should be submitted via EasyChair (https://easychair.org/conferences/?conf=trends2017), by May 31, 2017. At least one of the authors of an accepted paper must register for and attend the conference for the contribution to be presented.
Contact
Michael Musielewicz;     Email: trends@kul.pl
Topics
deontic logic, normative aspects of action theory, formal ethics, legal theory, handling norms in computer systems
10.
 
MFO Workshop — Mathematical Logic: Proof Theory, Constructive Mathematics
ID
778954
Dates
05 Nov 2017 - 11 Nov 2017
Location
Oberwolfach, Germany
AIP Conference Proceedings

Good to know...

You can advertise your event or services in this space.

Last updated: 28 February 2017