About the ILC  | News | People  |  Research Conferences |   Education  |   Publications  | Contact us  Chinese version
 
 


Conferences


Conference in the Past

  • International Conference on Logic and Cognition, annually since 2002-2011
  • 11th International Conference of Theory and Application of Propositional Satisfiability Testing(SAT2008)
  • 1st Workshop on Logic, Rationality and Interaction (LORI, 2007)
  • International Conference on Trends in Logic V: Multi-valued Logic and Cognition (July 6-9, 2007)
  • The 2nd Guangzhou Symposium on Satisfiability in Logic-Based Modeling (Sept., 24-27, 2006 )
  • The 1st Guangzhou Symposium on Satisfiability and its Applications(Sept., 25-28, 2004)

Conferences in the Future

  • The 1st  Workshop on Imprecise Probability and its Applications (June, 2012)
  • The 3rd Guangzhou Symposium on SAT-based Modelling (Sept. 2012)
  • Cultures of Mathematics and Logics (Nov. 2012)
  • The 13th Asia Logic Conference 2013
    
 

 
Home Page | Software | Copyright & Legal | Site Map | © 1996 - 2006 LIC.
Logic.sysu.edu.cn