EACSL - PDFSEARCH.IO - Document Search Engine

EACSL
Results: 24

#	Item
11	Annual Conference of the European Association for Computer Science Logic CSL 2011 September–15, 2011, Bergen, Norway PROGRAM Add to Reading List Source URL: eacsl.kahle.ch Language: English - Date: 2011-08-31 08:53:38 Proof theory Classical logic First-order logic Finite model theory Model theory Logic Mathematical logic Metalogic
12	Annual Conference of the European Association for Computer Science Logic CSL 2011 September 12–15, 2011, Bergen, Norway FIRST CALL FOR PAPERS Program Committee Add to Reading List Source URL: eacsl.kahle.ch Language: English - Date: 2011-01-06 05:41:49 Science Philosophical logic Mathematical logic Game semantics Game theory Quantification Categorical logic Logic Mathematics Logic in computer science
13	The Ackermann Award 2005 Erich Gr¨ adel, Janos Makowsky, and Alexander Razborov Members of EACSL Jury for the Ackermann Award The Ackermann Award Add to Reading List Source URL: eacsl.kahle.ch Language: English - Date: 2013-12-08 17:58:16 Automated theorem proving Computability theory Theory of computation Computational complexity theory Logic in computer science Alexander Razborov Wilhelm Ackermann Decidability First-order logic Theoretical computer science Mathematics Logic
14	The Ackermann Award 2008 J.A. Makowsky and D. Niwinski Members of EACSL Jury for the Ackermann Award! The fourth Ackermann Award is presented at this CSL’08. This is the second year in which the EACSL Ackermann Award i Add to Reading List Source URL: eacsl.kahle.ch Language: English - Date: 2013-12-08 17:58:05 Game theory Determinacy Logic in computer science Parity game Wilhelm Ackermann Ackermann function IEEE Symposium on Logic in Computer Science Computational complexity theory Stochastic Mathematics Mathematical logic Theoretical computer science
15	The Ackermann Award 2007 M. Grohe, M. Hyland, J.A. Makowsky, and D. Niwinski Members of EACSL Jury for the Ackermann Award? The third Ackermann Award is presented at this CSL’07. This is the first year in which the EAC Add to Reading List Source URL: eacsl.kahle.ch Language: English - Date: 2013-12-08 17:58:05 Mathematics Decidability Presburger arithmetic Automated theorem proving Natural deduction Wilhelm Ackermann Quantifier elimination Modal logic Deep inference Proof theory Logic Mathematical logic
16	The Ackermann Award 2009 J.A. Makowsky and A. Razborov Members of EACSL Jury for the Ackermann Award The ﬁfth Ackermann Award is presented at this CSL’09, held in Coimbra, Portugal. This is the third year in which th Add to Reading List Source URL: eacsl.kahle.ch Language: English - Date: 2013-12-08 17:58:05 Logic Wilhelm Ackermann Alexander Razborov Proof complexity DPLL algorithm Resolution Computational complexity theory Ackermann function Propositional proof system Theoretical computer science Mathematics Automated theorem proving
17	The Ackermann Award 2011 Report of the Jury The seventh Ackermann Award will be presented at this CSL’11, held in Bergen, Norway. This is the ﬁfth year the EACSL Ackermann Award is generously sponsored. Our sponsor f Add to Reading List Source URL: eacsl.kahle.ch Language: English - Date: 2013-12-08 17:58:05 Computational complexity theory Finite model theory Circuit complexity Clique problem Clique Wilhelm Ackermann Logic Switching lemma Descriptive complexity theory Theoretical computer science Mathematics Applied mathematics
18	The Ackermann Award 2013 Anuj Dawar, Thomas A. Henzinger, and Damian Niwiński Members of EACSL Jury of the Ackermann Award The ninth Ackermann Award is presented at CSL’13, held in Turin, Italy. This year, as in the p Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2013-08-27 05:13:12 Philosophical logic Logic in computer science Game semantics Game theory Quantification Temporal logic First-order logic Logic Mathematical logic Mathematics
19	The Ackermann Award 2012 Thierry Coquand1 , Anuj Dawar2 , and Damian Niwiński3 1,2,3 Members of EACSL Jury of the Ackermann Award∗ Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2012-08-27 10:54:53 Computability theory Theory of computation Lambda calculus Logic in computer science Decision problem Combinatory logic Profinite group Computability Henk Barendregt Theoretical computer science Mathematical logic Mathematics
20	The Ackermann Award 2014 Anuj Dawar Chairman of the Jury of the EACSL Ackermann Award [removed] Abstract Add to Reading List Source URL: eacsl.kahle.ch Language: English - Date: 2014-08-15 17:26:59 Mathematics Computational complexity theory Time complexity Circuit complexity First-order logic L Algorithm FO Structure Theoretical computer science Applied mathematics Complexity classes