ARQNL 2020

Automated Reasoning in Quantified Non-Classical Logics

4th International Workshop (associated with IJCAR 2020)

29 June 2020, Paris, France

  • Home
  • Programme
  • Call for Papers
  • Programme Committee
  • Contact Us

Due to the worldwide COVID-19 pandemic, we have decided to cancel the ARQNL 2020 workshop and postpone it to the next year. Details will be announced on this website.

Programme

Invited Speakers

TBA

Schedule

TBA









© 2020 ARQNL – Contact Us