Trustworthy Intelligent Systems
Home
Members
Research
Publications
Projects
Teaching
Discrete Mathematics
Formal Methods
Reinforcement Learning
Algorithms Design and Analysis
Contacts
Sino-Europe Institute
Visits to TIS
These are all visitors we welcomed at the TIS group.
SKLCS seminar on "Program Verification: a 50-Year History"
(27 Jan 2020)
SKLCS seminar on "Conventional Suggestions to the Automata-Theoretic Community"
(27 Jan 2020)
SKLCS seminar on "Automata for Profit and Pleasure"
(27 Jan 2020)
R. Wimmer gives a course on Symbolic Verification, K. Wimmer a talk on DQBF
(19 Oct 2017)
A. Hartmanns visits us
(16 Sep 2016)
Y.F. Chen visits us
(01 Jul 2016)
Y. Feng visits us
(27 Nov 2015)
T. van Dijk and S. Junges visit us
(15 Nov 2015)
H. Hermanns visits our group
(19 Oct 2015)
D. Jansen enjoys the summer at ISCAS
(18 May 2015)
T. Neele joins us for an internship
(29 Apr 2015)
Andrea gets the CAS fellowship
(28 Nov 2014)