Main Menu

School of Computer Science

Student Intranet

Computer Science A to Z

A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z

V

Verifying Secret Santa and the Dining Cryptographers: how to reason about knowledge, correct behaviour and strategies using extensions of temporal logics

Description
Agents Lab Seminar
Url
/computerscience/events/verifyingsecretsantaandthediningcryptographershowtoreasonaboutknowledge,correctbehaviourandstrategiesusingextensionsoftemporallogics.aspx
Visit by Alumni

Description
Computer Science Alumni to visit as part of Group Project Open Day.
Url
/computerscience/events/visitbyalumni.aspx
Visiting Professorship appointment of Andrzej Bargiela

Description
Professor Andrzej Bargiela has been appointed as Visiting Professor at the Cracow University of Technology.
Url
/computerscience/news/visiting-professorship-appointment-of-andrzej-bargiela.aspx
Visiting Speaker: Dr Björn Schuller - On Autism, Beats of the Heart, Cancer, Depression, Eye-contact and the Voice

Description
Björn Schuller On Autism, Beats of the Heart, Cancer, Depression, Eye-contact and the Voice
Url
/computerscience/events/visiting-speaker-dr-bjorn-schuller-on-autism-beats-of-the-heart-cancer-depression-eye-contact-and-the-voice.aspx

Displaying 1 to 4 of 4

A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z

School of Computer Science

University of Nottingham
Jubilee Campus
Wollaton Road
Nottingham, NG8 1BB

For all enquires please visit:
www.nottingham.ac.uk/enquire