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 Mathematical logic is the study of formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory. Research in mathematical logic commonly addresses the mathematical properties of formal ...

logic in computer science Logic in computer science covers the overlap between the field of logic and that of computer science. The topic can essentially be divided into three main areas: * Theoretical foundations and analysis * Use of computer technology to aid logicians ...

, and logic in

artificial intelligence Artificial intelligence (AI) is intelligence—perceiving, synthesizing, and inferring information—demonstrated by machines, as opposed to intelligence displayed by animals and humans. Example tasks in which this is done include speech r ...

. The meetings took place from July 9 to 24, 2014, and attracted more than 2000 scientists and researchers. The event was organized by the

Kurt Gödel Society The Kurt Gödel Society was founded in Vienna, Austria in 1987. It is an international organization aimed at promoting research primarily on logic, philosophy and the history of mathematics, with special attention to connections with Kurt Gödel, ...

Vienna University of Technology TU Wien (TUW; german: Technische Universität Wien; still known in English as the Vienna University of Technology from 1975–2014) is one of the major universities in Vienna, Austria. The university finds high international and domestic recogn ...

. Participating meetings include: In the

Logic in Computer Science Logic in computer science covers the overlap between the field of logic and that of computer science. The topic can essentially be divided into three main areas: * Theoretical foundations and analysis * Use of computer technology to aid logicians ...

stream (representing the Federated Logic Conference (FLoC)): * International Conference on

Computer Aided Verification In computer science, the International Conference on Computer-Aided Verification (CAV) is an annual academic conference on the theory and practice of computer-aided formal analysis of software and hardware systems, broadly known as formal methods ...

(CAV) * IEEE Computer Security Foundations Symposium (CSF) *

International Conference on Logic Programming The International Conference on Logic Programming (ICLP) is an annual academic conference on the topic of logic programming. It is sponsored by the Association for Logic Programming (ALP). The conference consists of peer-reviewed papers with the p ...

(ICLP) *

International Joint Conference on Automated Reasoning The International Joint Conference on Automated Reasoning (IJCAR) is a series of conferences on the topics of automated reasoning, automated deduction, and related fields. It is organized semi-regularly as a merger of other meetings. IJCAR replace ...

(IJCAR) * Conference on Interactive Theorem Proving (ITP) * Joint meeting of the

EACSL The European Association for Computer Science Logic (EACSL), founded 14 July 1992,
. Description of goals from EACSL official web ...

Annual Conference on Computer Science Logic (CSL) and the ACM/IEEE

Symposium on Logic in Computer Science The ACM–IEEE Symposium on Logic in Computer Science (LICS) is an annual academic conference on the theory and practice of computer science in relation to mathematical logic. Extended versions of selected papers of each year's conference appear i ...

(LICS) * International Conference on Rewriting Techniques and Applications (RTA) joint with the

International Conference on Typed Lambda Calculi and Applications International is an adjective (also used as a noun) meaning "between nations". International may also refer to: Music Albums * ''International'' (Kevin Michael album), 2011 * ''International'' (New Order album), 2002 * ''International'' (The T ...

(TLCA) * International Conference on Theory and Applications of Satisfiability Testing (SAT) * more than 7
FLoC workshops

FLoC Olympic Games
(system competitions) *

SAT The SAT ( ) is a standardized test widely used for college admissions in the United States. Since its debut in 1926, its name and scoring have changed several times; originally called the Scholastic Aptitude Test, it was later called the Schol ...

/ SMT Summer School In the

Mathematical Logic Mathematical logic is the study of formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory. Research in mathematical logic commonly addresses the mathematical properties of formal ...

stream: * Logic Colloquium 2014 (LC) *

Logic Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the science of deductively valid inferences or of logical truths. It is a formal science investigating how conclusions follow from premise ...

Algebra Algebra () is one of the broad areas of mathematics. Roughly speaking, algebra is the study of mathematical symbols and the rules for manipulating these symbols in formulas; it is a unifying thread of almost all of mathematics. Elementary ...

and Truth Degrees 2014 (LATD) * Workshop on Compositional Meaning in Logic (GeTFun 2.0) * The Infinity Workshop (INFINITY) * Workshop on

and Games (LG) * Workshop on Nonclassical Proofs: Theory, Applications and Tools (NCPROOFS) * Kurt Gödel Fellowship Competition In the Logic in

Artificial Intelligence Artificial intelligence (AI) is intelligence—perceiving, synthesizing, and inferring information—demonstrated by machines, as opposed to intelligence displayed by animals and humans. Example tasks in which this is done include speech r ...

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

{{reflist

External links

Vienna Summer of Logic
Science events in Austria 2014 conferences Logic organizations 2010s in Vienna 2014 in Austria 2014 in science July 2014 events in Europe