[Proof Complexity] Logic in Tsinghua University Conference, 14-16 Oct 2013

[Iddo Tzameret]

----------------------------------------------------------------
     LOGIC ACROSS THE UNIVERSITY: FOUNDATIONS AND APPLICATIONS

                         14-16 October 2013
                     Tsinghua University, Beijing
                       http://tsinghualogic.net/

----------------------------------------------------------------

Logic has a long tradition at Tsinghua where the modern logic has
been taught since the 1930s by pioneers like Jin Yuelin.

In recent years, several initiatives have been taken to make it
flourish once more. With the support of the newly established
School of Humanities at Tsinghua University, we are organizing
this conference 14-16 October 2013 and invite an international
and Chinese group of speakers to present their research works,
to show the broad interdisciplinary range of logic today, while
also strengthening research contacts between Chinese and
international colleagues.


Affiliated events:
     - Workshop Tsinghua Meets UvA, 18 October, 2013, Tsinghua
         University
     - "A Door to Logic", A Meeting on Logic, Language and
         Translation, 19 October, 2013, Tsinghua University


INVITED SPEAKERS
================

EVENING LECTURERS

  Vincent Hendricks          (Copenhagen University)
  Moshe Vardi                (Rice University)

LOGIC, PHILOSOPHY AND MATHEMATICS

  Sergei Artemov  (City University of New York, Graduate Center)
  Ye Feng             (Capital Normal University, Beijing)
  Hannes Leitgeb      (Ludwig-Maximilians-Universitat Munchen)
  Wesley Holliday     (University of California, Berkeley)
  Wang Wei            (TsinghuaUniversity)

LOGIC AND COMPUTATION

  Samson Abramsky     (Oxford University)
  Su Kaile            (Griffith University)
  Ram Ramanujam       (Institute of Mathematical Sciences Chennai)
  Iddo Tzameret       (Tsinghua University)

LOGIC, LANGUAGE AND COGNITION

  Gerhard Jager       (University of Tubingen)
  Zou Chongli         (Chinese Academy of Social Sciences)
  Huang Huaxin        (Zhejiang University, Hangzhou)
  Dag Westerstal      (Stockholm University)
  Zhou Beihai         (Peking University)
  Noah Goodman        (Stanford University)
  Cristina Bicchieri  (University of Pennsylvania)

LOGIC AND SOCIAL INTERACTION

  Christian List      (London School of Economics, UK)
  Sonja Smets         (University of Amsterdam)
  Jeremy Seligman     (University of Auckland)
  Xiong Minghui       (Sun Yat-sen University, Guangzhou)

-------------- next part --------------
A non-text attachment was scrubbed...
Name: Logic-Tsinghua.pdf
Type: application/pdf
Size: 130367 bytes
Desc: not available
Url : http://list.math.cas.cz/pipermail/proof-complexity/attachments/20130924/b56bf66b/attachment-0001.pdf