Jump to content

Vienna Summer of Logic

From Wikipedia, the free encyclopedia

This is the current revision of this page, as edited by 157.193.240.131 (talk) at 15:41, 24 January 2023. The present address (URL) is a permanent link to this version.

(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)
Logo of the scientific event

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]

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:

References

[edit]
  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.
[edit]