Discrete-Event Systems and Theoretical Computer Science Research Group: Porovnání verzí
Z ApolloWiki
Bez shrnutí editace |
Bez shrnutí editace |
||
Řádek 12: | Řádek 12: | ||
|Google group=https://groups.google.com/g/des-tcs |
|Google group=https://groups.google.com/g/des-tcs |
||
|Research group tools=Coordination control plug-in, Piecewise testability Plug-In, Relative observability Plug-In |
|Research group tools=Coordination control plug-in, Piecewise testability Plug-In, Relative observability Plug-In |
||
}} |
|||
{{Event |
|||
|Event=FCT 2023 |
|||
|Event start=2023-09-18 |
|||
|Event end=2023-09-21 |
|||
|Description=The 24th International Symposium on Fundamentals of Computation Theory |
|||
|Location description=Trier, Germany |
|||
|External link=https://www.uni-trier.de/en/universitaet/fachbereiche-faecher/fachbereich-iv/faecher/informatikwissenschaften/professuren/theoretische-informatik/research/conferences-and-workshops/fct-2023#c276383 |
|||
}} |
|||
{{Event |
|||
|Event=IFAC WC 2023 |
|||
|Event start=2023-07-09 |
|||
|Event end=2023-07-14 |
|||
|Description=The 22nd World Congress of the International Federation of Automatic Control |
|||
|Location description=Yokohama, Japan |
|||
|External link=https://www.ifac2023.org/ |
|||
}} |
}} |
||
{{Event |
{{Event |
Aktuální verze z 15. 12. 2023, 11:44
Discrete-Event Systems and Theoretical Computer Science Research Group
Discrete-Event Systems and Theoretical Computer Science Research Group
We are a group of people interested in Discrete-Event Systems and Theoretical Computer Science. In particular, we are interested in
- Verification and control of discrete-event systems
- Cyber-physical systems
- Automata theory
- Petri nets
- Complexity theory
- Databases
Head
Head
Faculty Members
Faculty Members
Jiří Balun
Eliška Foltasová
Petr Jančar
Tomáš Masopust
Petr Osička
PhD Students
PhD Students
Students
Students
Alumni
Alumni
Kristína Poláková
Václav Procházka
Jaroslav Večeřa
Meetings
Meetings
Downloads
Downloads