Logic List Mailing Archive

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

Dear logicians,

  The Universal Logic Conference, to be held in Xian, China, in August has
extended its deadline for papers, as below:

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

Please submit a 2-page abstract by 31st March, if you are interested. It
should be a great conference.

Cheers,  Ross.