Skip to Content

UNILOG'2013: попередня реєстрація

Зображення користувача Ярослав Кохан.

Оголошено передреєстрацію (попередню реєстрацію) на 4-ий Світовий конгрес та школу з універсальної логіки — UNILOG'2013 — що відбудуться 29 березня – 7 квітня 2013 року. Реєстрація триває до 1 листопада 2012 року. Повідомлення від організаторів:

The 4th World Congress and School on Universal Logic - UNILOG'2013

will happen in Rio de Janeiro, March 29 - April 7, 2013.
A world event dedicated to all aspects of logic.

  • 15 invited speakers: S.Feferman, H.Ono, Y.Gurevich, J.Hintikka, J.Seldin, etc.
  • 1 contest: Scope of logic theorems.
  • 14 workshops: Between first and second order, Non-Classical mathematics, Abstract proof theory, etc.
  • 1 secret speaker: his/her identity will be revealed only at the time of
    his/her talk.
  • 25 tutorials: Hypersequents, General theory of classifications, Non-deterministic semantics,
    Logic for the Blind, etc.

Pre-registration is now open.
Call for papers: Deadline is November 1st, 2012.


World Congress and School on Universal Logic
Montreux 2005 - Xi'an 2007 - Lisbon 2010 - Rio 2013
http://www.uni-log.org/

Коментарі

Налаштування перегляду коментарів

Виберіть потрібний метод показу коментарів і натисніть "Зберегти налаштування".
Зображення користувача Ярослав Кохан.

UNILOG'2013 Extended Deadline November 15

Реєстрацію продовжено до 15 листопада.



story | by Dr. Radut