Difference between revisions of "CSL 2010"

From Openresearch
Jump to navigation Jump to search
Line 12: Line 12:
 
|Country=Czech Republic
 
|Country=Czech Republic
 
|presence=presence
 
|presence=presence
 +
|has general chair=Jan Bouda
 
|has program chair=Anuj Dawar, Helmut Veith
 
|has program chair=Anuj Dawar, Helmut Veith
 
|has Keynote speaker=David Basin, Herbert Edelsbrunner, Erich Grädel, Bojan Mohar, Joseph Sifakis
 
|has Keynote speaker=David Basin, Herbert Edelsbrunner, Erich Grädel, Bojan Mohar, Joseph Sifakis

Revision as of 11:03, 17 August 2021

CSL 2010
24th International Workshop on Computer Science Logic
Ordinal 24
Event in series CSL
Dates 2010/08/23 (iCal) - 2010/08/27
Presence presence
Homepage: http://mfcsl2010.fi.muni.cz/csl/
Location
Location: Brno, Czech Republic
Loading map...

Papers: Submitted 103 / Accepted 33 (32 %)
Committees
General chairs: Jan Bouda
PC chairs: Anuj Dawar, Helmut Veith
Keynote speaker: David Basin, Herbert Edelsbrunner, Erich Grädel, Bojan Mohar, Joseph Sifakis
Table of Contents

,



The 24th International Workshop on Computer Science Logic (CSL) 2010


Topics

  • Program Extraction and Constructive Proofs / Classical Logic and Computation
  • Randomized and Quantum Computation,
  • Workshop on Fixed Points in Computer Science
  • Young Researchers Forum
  • Theory and Algorithmic Aspects of Graph Crossing Number
  • International Workshop on Reachability Problems
  • Games and Probabilistic Models in Formal Verification
  • Mathematical Foundations of Fuzzy Logics
  • Logic, Combinatorics and Computation
  • Parametrized Complexity of Computational Reasoning