Events

Event Locations


View Conference Locations in a larger map

event attended
participated (e.g. paper accepted, PC member), but did not attend

Events in 2018:

S&P 2018 (Paper Accepted)
IEEE Symposium on Security and Privacy, San Francisco, California, United States. 21-23 May, 2018.

Events in 2017:

MIWAI 2017: Special Session on Cyber-Physical Systems (Technical Committee)
11th Multi-disciplinary International Workshop on Artificial Intelligence, Brunei. 20-22 November, 2017.
DMCIS 2017 (Paper Accepted)
Data Mining for Cyberphysical and Industrial Systems (DMCIS 2017), New Orleans, Louisiana, USA. 18th November, 2017.
SCy-Phy Systems Week Think-In (Attended; Presented Lightning Talk)
Secure Cyber-Physical Systems Week Think-In, SUTD, Singapore. 5-6 June, 2017.

Events in 2016:

FM 2016 (Paper Accepted)
21st International Symposium on Formal Methods, Limassol, Cyprus. 7-11 November, 2016.
COORDINATION 2016 (Paper Accepted)
18th IFIP International Conference on Coordination Models and Languages, Heraklion, Crete, Greece. 6-9 June, 2016.
FASE 2016 (Presented a Paper)
19th International Conference on Fundamental Approaches to Software Engineering, Eindhoven University of Technology, Netherlands. 5-7 April, 2016.
GaM 2016 (Attended)
Graphs as Models, Eindhoven University of Technology, Netherlands. 2-3 April, 2016.
ETAPS 2016 (Attended)
European Joint Conferences on Theory and Practice of Software (ETAPS), Eindhoven University of Technology, Netherlands. 2-8 April, 2016.

Events in 2015:

Dagstuhl Seminar (Invited; Attended)
Seminar 15451 on Verification of Evolving Graph Structures, Schloss Dagstuhl, Leibniz-Zentrum für Informatik, Germany. 1-6 November, 2015.
GPCE 2015 (Paper Accepted)
14th International Conference on Generative Programming: Concepts and Experiences (GPCE 2015), Pittsburgh, Pennsylvania, United States. 26-27 October, 2015.
Workshop on Software Correctness and Reliability (Attended)
3rd Workshop on Software Correctness and Reliability, Zürich, Switzerland. 2-3 October, 2015.
LASER 2015 (Attended)
12th LASER Summer School on Software Engineering, Elba Island, Italy. 6-12 September, 2015.
FM 2015 (Attended)
20th International Symposium on Formal Methods, Oslo, Norway. 24-26 June, 2015.
F-IDE 2015 (Presented a Paper)
2nd Workshop on Formal Integrated Development Environment, Oslo, Norway. 22 June, 2015.
GaM 2015 (Paper Accepted; Attended)
Graphs as Models, Queen Mary University of London, UK. 11-12 April, 2015.
ETAPS 2015 (Attended)
European Joint Conferences on Theory and Practice of Software (ETAPS), Queen Mary University of London, UK. 11-18 April, 2015.

Events in 2014:

AMT 2014 (Paper Accepted)
3rd Workshop on the Analysis of Model Transformations, Valencia, Spain. 29 September, 2014.
LASER 2014 (Attended)
11th LASER Summer School on Software Engineering, Elba Island, Italy. 7-13 September, 2014.
ICGT 2014 (Presented a Paper; Subreviewer)
7th International Conference on Graph Transformation, University of York, UK. 22-24 July, 2014.
STAF 2014 (Attended)
Software Technologies: Applications and Foundations, University of York, UK. 21-25 July, 2014.
Niklaus Wirth 80th Birthday Symposium (Local Organiser)
ETH Zürich, Switzerland. 20 February 2014.

Events in 2013:

SSBSE 2013 (Presented a Paper)
5th International Symposium on Search-Based Software Engineering, St. Petersburg, Russia. 24-26 August 2013.
ESEC/FSE 2013 (Attended)
Ninth Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, St. Petersburg, Russia. 21-23 August 2013.
Bamberg Heap Analysis Workshop (Speaker)
Hosted by Gerald Lüttgen at the University of Bamberg, Germany. 17-19 February 2013.

Events in 2012:

YDS 2012 (PC Member)
Fifth York Doctoral Symposium on Computer Science, The University of York, UK. 8 November 2012.
GCM 2012 (Presenting a Paper; Subreviewer)
Fourth International Workshop on Graph Computation Models, University of Bremen, Germany. 28-29 September, 2012.
ICGT 2012 (Presenting a Doctoral Symposium paper; Subreviewer)
Sixth International Conference on Graph Transformation, University of Bremen, Germany. 24-29 September, 2012.
Lecture at Headstart 2012. Alan Turing’s Legacy: Computation and its Limits
Department of Computer Science, The University of York, UK. 10-13 July, 2012.

Events in 2011:

Visit to the Chair for Logic and Verification at TU München, München, Germany. Supported by a William Gibbs award. October-December, 2011.
Visit to the Formal Languages Group at Universität Oldenburg, Oldenburg, Germany. Supported by a William Gibbs award. 1-2 November, 2011.
YDS 2011 (Programme Chair)
Fourth York Doctoral Symposium on Computer Science, The University of York. 20 October, 2011.
PGWT (Postgraduates Who Teach) Residential (Speaker)
Fairfield Manor Hotel, York. Organised by the Researcher Development Team, The University of York. 14-15 September, 2011.
Lecture at Headstart 2011. Alan Turing’s Legacy: Computation and its Limits
Department of Computer Science, The University of York. 12-15 July, 2011.
Visit to the Department of Computer Science and Automation at the Indian Institute of Science, Bangalore, India. Supported by UKIERI. 22-24 February, 2011.

Events in 2010:

YDS 2010 (Programme and Organising Committee Member)
Third York Doctoral Symposium on Computing, The University of York. 4th November 2010.
GCM 2010 (Attended; Subreviewer)
Third International Workshop on Graph Computation Models, University of Twente. 2nd October 2010.
ICGT 2010 (Presented a Paper; Subreviewer)
Fifth International Conference on Graph Transformation, University of Twente. 27th September-2nd October 2010.
VSTTE 2010 (Attended)
Third International Conference on Verified Software: Theories, Tools, and Experiments, Heriot-Watt University. 16-19th August 2010.
VS-THEORY 2010 (Presented a Paper)
The Theory Workshop at the Third International Conference on Verified Software: Theories, Tools, and Experiments, Heriot-Watt University. 18th August 2010.
Marktoberdorf Summer School 2010 (Attended)
On Software and Systems Safety: Specification and Verification. 3-15th August 2010.
BCTCS 2010 (Gave a Talk)
26th British Colloquium for Theoretical Computer Science, The University of Edinburgh. 6-9th April 2010.