↓
 

Xixi Logic

  • Home
  • Announcements
    • Local Announcements
    • Messages from the Community
  • Invited Talks
  • Conferences
  • Group Meetings
    • L&I Reading Group
    • PL&PL Reading Group
  • Other Events
  • Courses
  • Calendar
  • About Us
Invited Talks >>>
  • Yang Liu(Cambridge University): Logic in Artificial Intelligence: Decision Theory(1-14)
  • Minghui Ma: Advances in Normal Tense Logic
  • Xiaojun Zhang: The overview of propositional dynamic logic
  • Anuj Dawar: The Limits of Symmetric Computation
  • Maurice Chiodo: Ethical issues in mathematical processes
  • Jinsheng Chen: Sequent Calculi for Global Modal Consequence Relations
Conferences & Workshops >>>
  • Seminar on Logics for New-Generation Artificial Intelligence (NGL 2021)
  • 1st International Workshop on Logics for New-Generation Artificial Intelligence (LNGAI 2021)
  • Course: Logic in AI
  • 3rd International Conference on Logic and Argumentation (CLAR 2020)
Local Announcements >>>
  • Annual Meeting of Institute of Logic and Cognition 2021
  • Group Hiking in Spring 2019
  • Group Hiking in Fall 2018
Group Meetings >>>
  • PL&PL#63 S07 W16 [2020-09-06]
  • PL&PL#62 S07 W15 [2020-08-29]
  • PL&PL#61 S07 W14 [2020-08-16]
  • PL&PL#60 S07 W13 [2020-08-09]
  • PL&PL#59 S07 W12 [2020-08-02]
  • PL&PL#58 S07 W11 [2020-07-26]
Messages from the Community >>>
  • CFP: ESSLLI 2021 Student Session, Due on April 25th 2021
  • CFP: Special Issue on Logics for New Generation Artificial Intelligence, ‘AI Logic’ corner, JLC
  • “ReLaX” Workshop on Games (Online)
  • CFP: 15th International Conference on Deontic Logic and Normative Systems (DEON 2020/21)
  • 4th International Conference on Logic and Argumentation (CLAR 2021)
  • CFP: 9th International Conference on Logic and its Applications (ICLA 2021)
  • CFP: 28th International Conference on Automated Deduction (CADE-28)
  • World Logic Day Lectures 2021

Bookmarks

  • BRaD
  • CSLC, ZJU

Archives

© Since 2014 Xixi Logic. All rights reserved.   浙ICP备15002489号-1
↑