Logic List Mailing Archive

2nd World Congress on Universal Logic, Xi'an (China), 16-22 Aug 2007

Universal Logic, China 2007 - Call for papers/Extended Deadline: March 31st

2nd World Congress and School on Universal Logic - Call for papers Xi'an,
China, August 16--22, 2007

This event is the second in a series of events whose objective is to
gather logicians from all orientations (philosophy, mathematics,
computer science, linguistics, artificial intelligence, etc) - people
not focusing only on some specific systems of logic or some particular
problems, but inquiring the fundamental concepts of logic.

There will be a four days school for PhD students and young
researchers with 24 tutorials followed by a three days congress.

Among the speakers there will be Walter Carnielli,  Marcus Kracht,
Valentin Goranko, Huacan He, Itala D'Ottaviano, Ross Brady, Vincent
Hendricks, Wilfrid Hodges, Arnold Koslow,  Istvan Nmeti, Gabriel
Sandu, Razvan Diaconescu,  Peter Schrder-Heister, Stan Surma,
Heinrich Wansing and many others.

There will be tutorials on proof theoretic semantics, logic diagrams,
combination of logics,  logic approach to spacetime and blackholes,
fuzzy logics, dynamic preference logic, category theory for logics and
many other topics.

There will be also a contest with subject: how to translate a logic
into another one?

This event will take place in Xi'an, the ancient capital of China,
just after the 13th LMPS to happen in Beijing.

The event is sponsored by the Association for Symbolic Logic, Chinese
Mathemetical Society, National Nature Science Foundation Committee of
China, Chinese Association for Artificial Intelligence, Northwestern
Polytechnical University of Xi'an, China Renmin University of Beijing,
  Capital Normal University of Beijing, Chengdu University of
Technology, Xi'an Shiyou University, K. C. Wong Education Foundation,
Shaanxi Computer Association, Swiss National Science Foundation.

The extended deadline for submission of contributed papers is March 31 st.

For further information, visit the website below:

http://www.uni-log.org <http://www.uni-log.org/>