Tagungen und Workshops zum Thema Mathematische Logik

Wählen Sie ein Land aus:
Deutschland (3) - Polen (1) - Vereinigte Staaten (1)

ALLE LÄNDER

1
Fourth Mile High Conference on Nonassociative Mathematics
29. Jul 2017 - 05. Aug 2017 • University of Denver, Denver, Vereinigte Staaten
Zusammenfassung:
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.
Eintrags-ID:
881422
Verwandte Fachgebiete:
2
MFO Workshop — Proof Complexity and Beyond
13. Aug 2017 - 19. Aug 2017 • Oberwolfach, Deutschland
Eintrags-ID:
778853
Verwandte Fachgebiete:
3
ECAP 9 — The ninth European Congress of Analytic Philosophy
21. Aug 2017 - 26. Aug 2017 • Munich Center for Mathematical Philosophy, Ludwig , Deutschland
Zusammenfassung:
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.
Themen:
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
Eintrags-ID:
866802
4
Trends XVII — Trends in Logic XVII
12. Sep 2017 - 15. Sep 2017 • Lublin, Polen
Zusammenfassung:
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.
Kontakt:
Michael Musielewicz;     Email: trends@kul.pl
Themen:
deontic logic, normative aspects of action theory, formal ethics, legal theory, handling norms in computer systems
Eintrags-ID:
873011
5
MFO Workshop — Mathematical Logic: Proof Theory, Constructive Mathematics
05. Nov 2017 - 11. Nov 2017 • Oberwolfach, Deutschland
Eintrags-ID:
778921


Conference-Service.com stellt der Öffentlichkeit ein Kalendarium wichtiger Konferenzen, Symposien und sonstiger Tagungen im wissenschaftlich-technischen Bereich zur Verfügung. Obwohl das Verzeichnis mit großer Sorgfalt zusammengestellt und ständig aktualisiert wird, weisen wir auf die Möglichkeit von Fehlern ausdrücklich hin. Bitte vergewissern Sie sich immer beim Veranstalter, bevor Sie über die Teilnahme oder Nichtteilnahme an einer Konferenz entscheiden.

Organisatoren können kostenlos ihre Konferenzankündigungen veröffentlichen.

AIP Conference Proceedings