[FOM] Universal Logic- China 2007 - Extended Deadline: March 31st

Fri Mar 16 11:20:34 EDT 2007

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

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

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

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 Németi, Gabriel Sandu, Razvan Diaconescu,  Peter Schröder-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.

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

For further information, visit the website below: 

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