steenvester.com
steenvester.com
http://www.steenvester.com/index.php
I am a Ph.d. student in the AlgoLoG. Section at the Technical University of Denmark (DTU) with Michael Reichhardt Hansen and Valentin Goranko as supervisors. Games, temporal logic, formal verification, model-checking, satisfiability,. I organize the Games, Logic and Verification Seminar Series. At DTU Compute with Valentin Goranko (see website. Talk on Winning Cores in Parity Games. In Reykjavik, Iceland. In Shanghai, China. Talk on Winning Cores in Parity Games. In Sydney, Australia. Seminar on Games on...
carp.doc.ic.ac.uk
CARP: Correct and Efficient Accelerator Programming
http://carp.doc.ic.ac.uk/external/news.php
CARP: Correct and Efficient Accelerator Programming. News from the CARP project. 19/20 December 2014: Polly/isl workshop in Zurich. The CARP ENS team are involved in running a two day workshop which brings together CARP researchers and LLVM/Polly. Developers to learn about each other's work, to enable the transfer of CARP technology into the LLVM compiler infrastructure project. 1 December 2014: Marieke Huisman is awarded the Prof. de Winter Prize. 29 November 2014: CARP work presented at INVEST workshop.
swtv.kaist.ac.kr
Conferences and Journals for Formal Verification Research — SW Testing & Verification Group
http://swtv.kaist.ac.kr/link
Only in current section. Conferences and Journals for Formal Verification Research. Verification, Model Checking, and Abstract Interpretation. January 19-21, 2014, San Diego, USA. Abstract Submission deadline: September 11, 2013. Paper submission deadline: September 18, 2013. Notification of acceptance: October 25, 2013. Tool and Algorithms for Construction and Analysis of Systems. April 5-13, 2014, Grenoble, France. Abstract Submission deadline: October 4, 2013. April 6, 2014, Grenoble, France. Paper su...
swt.informatik.uni-freiburg.de
Andreas Podelski — Software Engineering
http://swt.informatik.uni-freiburg.de/staff/podelski
Only in current section. Student Projects and Thesis Topics. Softwaretechnik / Software Engineering (Lecture). Cyber-Physical Systems - Hybrid Models (Lecture). Softwarepraktikum (Nur für B.Sc. Informatik und B. Sc. ESE). Automata Theory (Seminar, Proseminar). Program Analysis and Software Testing (Seminar). Software Design, Modelling, and Analysis in UML (Lecture). Softwarepraktikum (Nicht für B.Sc. Informatik und B. Sc. ESE). Automata Theory (Seminar, Proseminar). Automata Theory (Seminar, Proseminar).
zvonimir.info
2014 @ Zvonimir Rakamaric
http://www.zvonimir.info/conferences/2014-2
Assistant Professor, School of Computing, University of Utah. CS 5110/6110 Rigorous System Design Spring 2016. CS 5959 – Writing Solid Code Fall 2015. CS 7930 – Colloquium Fall 2015. CS 6110 – Formal Methods in System Design Spring 2015. CS 7930 – Colloquium Spring 2015. CS 2100 – Discrete Structures Fall 2014. CS 7930 – Colloquium Fall 2014. CS 2100 – Discrete Structures Spring 2014. CS 7930 – Colloquium Spring 2014. CS 7930 – Colloquium Fall 2013. CS 5100/6100 – Foundations of CS Spring 2013. 20th IEEE...
jeroenkeiren.nl
Liveblog – Jeroen Keiren
http://www.jeroenkeiren.nl/category/liveblog
Automata & Complexity. Automata & Complexity. Here I sometimes (live)blog about events I am attending. It may not always be 100% live, so be warned! November 6, 2014. December 3, 2014. ATVA’14 – Day 3. Below are posts about a selection of the talks of the third and last day of ATVA’14. Parameterised Synthesis – Roderick Bloem. 8220;A cookie cutter approach to synthesis”. Roderick Bloem during the keynote at ATVA’14. Reduction to fixed size. Example using token rings with Emerson and Namjoshi’s cuto...