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 Logic#Formal logic, formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory (also known as computability theory). Research in mathematical logic com ...

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 the capability of computer, computational systems to perform tasks typically associated with human intelligence, such as learning, reasoning, problem-solving, perception, and decision-making. It is a field of re ...

. 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 at

Vienna University of Technology TU Wien () is a public research university in Vienna, Austria. The university's teaching and research are focused on engineering, computer science, and natural sciences. It currently has about 28,100 students (29% women), eight faculties, and ...

. 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 method ...

(CAV) * IEEE Computer Security Foundations Symposium (CSF) * International Conference on Logic Programming (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 repl ...

(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 Rewriting Techniques and Applications (RTA) is an annual international academic conference on the topic of rewriting. It covers all aspects of rewriting, including termination, equational reasoning, theorem proving, higher-order rewriting, un ...

(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 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 Test score, scoring have changed several times. For much of its history, it was called the Scholastic Aptitude Test ...

/ SMT

Summer School Summer school (or summer university) is a school, or a program generally sponsored by a school or a school district, or provided by a private company, that provides lessons and activities during the summer vacation. Participation in summer school ...

In the

Mathematical Logic Mathematical logic is the study of Logic#Formal logic, formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory (also known as computability theory). Research in mathematical logic com ...

stream: * Logic Colloquium 2014 (LC) *

Logic Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the study of deductively valid inferences or logical truths. It examines how conclusions follow from premises based on the structure o ...

Algebra Algebra is a branch of mathematics that deals with abstract systems, known as algebraic structures, and the manipulation of expressions within those systems. It is a generalization of arithmetic that introduces variables and algebraic ope ...

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

and

Games A game is a Structure, structured type of play (activity), play usually undertaken for entertainment or fun, and sometimes used as an Educational game, educational tool. Many games are also considered to be Work (human activity), work (such as p ...

(LG) * Workshop on Nonclassical Proofs: Theory, Applications and Tools (NCPROOFS) *

Kurt Gödel Kurt Friedrich Gödel ( ; ; April 28, 1906 – January 14, 1978) was a logician, mathematician, and philosopher. Considered along with Aristotle and Gottlob Frege to be one of the most significant logicians in history, Gödel profoundly ...

Fellowship Competition In the Logic in

Artificial Intelligence Artificial intelligence (AI) is the capability of computer, computational systems to perform tasks typically associated with human intelligence, such as learning, reasoning, problem-solving, perception, and decision-making. It is a field of re ...

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 Knowledge representation (KR) aims to model information in a structured manner to formally represent it as knowledge in knowledge-based systems whereas knowledge representation and reasoning (KRR, KR&R, or KR²) also aims to understand, reason, and ...

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 in Europe