“Vienna Summer of Logic”的意思、由来-开放百科全书

词条

Vienna Summer of Logic

释义

References
External links

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)):

International Conference on Computer Aided Verification (CAV)
IEEE Computer Security Foundations Symposium (CSF)
International Conference on Logic Programming (ICLP)
International Joint Conference on Automated Reasoning (IJCAR)
Conference on Interactive Theorem Proving (ITP)
Joint meeting of the EACSL Annual Conference on Computer Science Logic (CSL) and the ACM/IEEE Symposium on Logic in Computer Science (LICS)
International Conference on Rewriting Techniques and Applications (RTA) joint with the International Conference on Typed Lambda Calculi and Applications (TLCA)
International Conference on Theory and Applications of Satisfiability Testing (SAT)
more than 70 FLoC workshops
FLoC Olympic Games (system competitions)
SAT/SMT Summer School

In the Mathematical Logic stream:

Logic Colloquium 2014 (LC)
Logic, Algebra and Truth Degrees 2014 (LATD)
Workshop on Compositional Meaning in Logic (GeTFun 2.0)
The Infinity Workshop (INFINITY)
Workshop on Logic and Games (LG)
Workshop on Nonclassical Proofs: Theory, Applications and Tools (NCPROOFS)
Kurt Gödel Fellowship Competition

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. ^{{cite news|title=Basic Logic Research Crucial for Computer, Software Engineering|url=http://www.scientificcomputing.com/news/2014/06/basic-logic-research-crucial-computer-software-engineering|accessdate=13 June 2014|work=Scientific Computing|date=June 3, 2014}}
2. ^{{cite news|last=Felser|first=Rudolf|title=Vienna Summer of Logic 2014|url=http://www.computerwelt.at/news/wirtschaft-politik/forschung-wissenschaft/detail/artikel/vienna-summer-of-logic-2014/|accessdate=30 December 2013|newspaper=Computerwoche|date=10 December 2013}}
3. ^{{cite web|title=Vienna Summer of Logic|url=http://vsl2014.at/|accessdate=8 March 2016}}
4. ^{{cite web|title=Vienna Summer of Logic organization|url=http://vsl2014.at/organization/|accessdate=12 June 2014}}
5. ^{{cite web|title=Vienna Summer of Logic|url=http://vsl2014.at/|accessdate=12 June 2014}}

External links

Vienna Summer of Logic

随便看

开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。