International Conference | Year | Host Country | Host City | Host Organization | Character |
---|---|---|---|---|---|
COMPUTER SCIENCE LOGIC 2017 與 Workshop on Logical Aspects of Multi-Agent Systems | 2017 | Sweden | Stockholm | Stockholm University | Publish a paper |
15th Congress of Logic, Methodology and Philosophy of Science (CLMPS 2015) | 2015 | Finland | Helsinki | University of Helsinki | Publish a paper |
Symposium on Logical Foundations of Computer Science (LFCS 2013) | 2013 | U.S.A. | San Diego | University of California | Publish a paper |
16th Workshop on Logic, Language, Information and Computation (WoLLIC 2009) | 2009 | JAPAN | Tokyo | National Institute of Informatics | Publish a paper |