Description Logics ILCS 2007 Introduction to Logic in Computer Science: Autumn 2007

Source URL: formal.iti.kit.edu

• Logic
• Non-classical logic
• Mathematical logic
• Metaphysics
• Philosophical logic
• Artificial intelligence
• Description logic
• Information science
• Model theory
• Modal logic
• First-order logic
• Web Ontology Language

Ritwika Ghosh phone : (+email : Profile : I am a first year graduate student in Computer Science at the University of Illinois, Urbana-Champaign, interested in formal methods, and appl

Source URL: web.engr.illinois.edu

• Mathematical software
• Application software
• Software
• Theoretical computer science
• Formal methods
• Logic in computer science
• Discrete mathematics
• Verification
• Quantifier elimination
• Formal verification
• Model checking
• Computer science

Advanced Topics in SAT-Solving Part II: Theoretical Aspects Carsten Sinz Wilhelm-Schickard-Institut for Computer Science University of T¨ubingen

Source URL: formal.iti.kit.edu

• Computational complexity theory
• Theoretical computer science
• Logic in computer science
• Complexity classes
• Mathematical optimization
• Boolean algebra
• NP-complete problems
• Boolean satisfiability problem
• 2-satisfiability
• Horn-satisfiability
• P versus NP problem
• Exponential time hypothesis

Secure Authentication in the Grid: A formal analysis of DNP3: SAv5 Cas Cremers, Martin Dehnel-Wild, Kevin Milner Department of Computer Science, University of Oxford. {cas.cremers,martin.dehnel-wild,kevin.milner}@cs.ox.a

Source URL: www.cs.ox.ac.uk

Formal Methods for MILS: Formalisations of the GWV Firewall Ruud Koolen and Julien Schmaltz Eindhoven University of Technology Department of Mathematics and Computer Science

Source URL: mils-workshop-2015.mils.community

KRust: A Formal Executable Semantics of Rust Feng Wang∗ , Fu Song∗ , Min Zhang† , Xiaoran Zhu† and Jun Zhang∗ ∗ School † Shanghai of Information Science and Technology, ShanghaiTech University, Shanghai, C

Source URL: sist.shanghaitech.edu.cn

The Slave Trade: The Formal Demography of a Global System Patrick Manning Social Science History, Vol. 14, No. 2. (Summer, 1990), ppStable URL: http://links.jstor.org/sici?sici=%%2914%3A2%3C25

Source URL: www.manning.pitt.edu

Using SyGuS to Synthesize Reactive Motion Plans Sarah Chasins Julie L. Newcomb Department of Computer Science

Source URL: formal.epfl.ch

PhD Mini-Course Natural Computing - a formal framework for processes inspired by the functioning of living cells Graduate School of Science and Technology, Aarhus University

Source URL: birc.au.dk

Approaching Symbolic Parallelization by Synthesis of Recurrence Decompositions Grigory Fedyukovich and Rastislav Bod´ık Computer Science and Engineering, University of Washington, Seattle, Washington, USA We present S

Source URL: formal.epfl.ch