Difference between revisions of "Event:DSOM 1997"

Revision as of 12:49, 28 September 2022

Deadlines

Venue

Loading map...

Warning: Venue is missing. The map might not show the exact location.

@@ Line 1: / Line 1: @@
 {{Event
-|Acronym=CSL 2010
+|Acronym=DSOM 1997
-|Title=24th International Workshop on Computer Science Logic
+|Title=International Workshop on Distributed Systems: Operations and Management
-|Ordinal=24
+|In Event Series=Event Series:DSOM
+|Single Day Event=yes
+|Start Date=1997
+|Event Status=as scheduled
+|Event Mode=on site
+|Academic Field=Distributed Computing
 |Type=Workshop
-|Homepage=http://mfcsl2010.fi.muni.cz/csl/
+|Submitted papers=40
-|DblpConferenceId=csl/csl2010
+|Accepted papers=24
-|City=Brno
+|Tracks=1
-|Country=Country:CZ
+|pageCreator=User:Curator 89
-|has general chair=Jan Bouda
+|pageEditor=User:Curator 89
-|has program chair=Anuj Dawar, Helmut Veith
-|Submitted papers=103
-|Accepted papers=33
-|has Proceedings Link=https://link.springer.com/content/pdf/10.1007%2F978-3-642-15205-4.pdf
-|has Proceedings DOI=https://doi.org/10.1007/978-3-642-15205-4
-|has Proceedings Bibliography=https://link.springer.com/book/10.1007%2F978-3-642-15205-4
-|pageCreator=User:Curator 75
-|pageEditor=User:Curator 75
 |contributionType=1
-|In Event Series=Event Series:CSL
-|Single Day Event=no
-|Start Date=2010/08/23
-|End Date=2010/08/27
-|Event Status=as scheduled
-|Event Mode=on site
 }}
-{{Event Deadline}}
 {{Event Deadline}}
 {{S Event}}
-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