Vienna Summer of Logic

The Vienna Summer of Logic was a scientific event in the summer of 2014, combining 12 major conferences and several workshops from the fields of mathematical logic, logic in computer science, and logic in artificial intelligence.[1] The meetings took place from July 9 to 24, 2014, and attracted more than 2000 scientists and researchers.[2][3]

Logo of the scientific event

The event was organized by the Kurt Gödel Society at Vienna University of Technology.[4] Participating meetings include:[5]

In the Logic in Computer Science stream (representing the Federated Logic Conference (FLoC)):

In the Mathematical Logic stream:

In the Logic in Artificial Intelligence stream:

  • International Conference on Principles of Knowledge Representation and Reasoning (KR)
  • International Workshop on Description Logics (DL)
  • International Workshop on Non-Monotonic Reasoning (NMR)
  • International Workshop on Knowledge Representation for Health Care 2014 (KR4HC)

References

  1. "Basic Logic Research Crucial for Computer, Software Engineering". Scientific Computing. June 3, 2014. Retrieved 13 June 2014.
  2. Felser, Rudolf (10 December 2013). "Vienna Summer of Logic 2014". Computerwoche. Retrieved 30 December 2013.
  3. "Vienna Summer of Logic". Retrieved 8 March 2016.
  4. "Vienna Summer of Logic organization". Retrieved 12 June 2014.
  5. "Vienna Summer of Logic". Retrieved 12 June 2014.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.