All Events

Search
From
To
Cancel
Wednesday, April 4, 2018 04:00pm - 05:00pm
Automated Testing of Autonomous Systems
Lionel Briand, University in Luxembourg
Thursday, April 5, 2018 10:00am - 12:00pm
Effective multipoles in random media
Peter Bella, University Leipzig
Thursday, April 5, 2018 01:00pm - 03:00pm
The P=W conjecture on the moduli space of rank 2 Higgs bundles
Simone Melchiorre Chiarello, University of Geneva
Thursday, April 5, 2018 02:00pm - 03:00pm
Q&A (Chalk Talk) Erin Carson
Erin Carson, New York University
Thursday, April 5, 2018 04:00pm - 05:00pm
Time-Triggered Conversion of Guards for Reachability Analysis of Hybrid Automata
Sergiy Bogomolov, Australian National University
Thursday, April 5, 2018 04:00pm - 06:00pm
Universality of loop soups
Peter Mühlbacher, IST Austria
Friday, April 6, 2018 10:00am - 11:00am
WASp mediated Arp2/3 activation controls endo-lysosomal fusion and cargo degradation determining the threshold for Toll-like receptor 9 activation
Federica Benvenuti, ICGEB (Triest)
Monday, April 9, 2018 04:00pm - 05:00pm
Programming with chemical reactions
Luca Cardelli, Microsoft Research
Tuesday, April 10, 2018 11:00am - 12:30pm
Gate-based sensing for spin qubits
Fernando Gonzalez Zalba, Cambridge University
Wednesday, April 11, 2018 05:00pm - 06:00pm
Comparator automata in quantitative verification
Suguman Bansal, Rice University
Legal Disclaimer
<< January 2018 >>
Mon Tue Wed Thu Fri Sat Sun
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
01
02
03
04
Archive (up to December 2016) Archive (up to March 2014)