staf2016.conf.tuwien.ac.at
Events - STAF 2016
http://staf2016.conf.tuwien.ac.at/events
Restaurants & Cafés. Call for Projects Showcases. Call for Doctoral Papers. July 4-8, 2016 in Vienna, Austria. International Conference on Graph Transformation. July 5-6, 2016. Rachid Echahed (CNRS, Université Grenoble Alpes, France). Mark Minas (Universität der Bundeswehr München, Germany). International Conference on Model Transformation. July 4-5, 2016. Gregor Engels (Universität Paderborn, Germany). Pieter Van Gorp (Eindhoven University of Technology, Netherlands). July 5-7, 2016. July 6-7, 2016.
transformation-tool-contest.eu
Transformation Tool Contest (TTC) 2016
http://www.transformation-tool-contest.eu/people.html
Dataflow Transformations (Live Contest). Call for Cases (Closed). Call for Solutions (Closed). University of Rennes 1, France. Université Nice Sophia-Antipolis, France. Vrije Universiteit Brussel, Belgium. Aston University, United Kingdom. University of Alabama, United States. Budapest University of Technology and Economics. SAP Innovation Center, Germany. Bundeswehr University Munich, Germany. University of Twente, The Netherlands. University of York, United Kingdom. Ecole des Mines de Nantes, France.
prl.ccs.neu.edu
People - Programming Research Laboratory - Northeastern University
http://prl.ccs.neu.edu/people.html
Http:/ ccs.neu.edu/home/wand. Joined Northeastern, 1985. Joined Indiana University, 1973. PhD, MIT, 1973. BS, MIT, 1969. Over the years, I have worked on a variety of problems associated with semantics of programming languages. Here is a selected list, in roughly reverse chronological order: probabilistic programming languages, binding-safe programming, aspect-oriented programming, analysis-based program transformation, compiler correctness proofs, continuations, macros. Joined Northeastern, 2001. MS, Ha...
SOCIAL ENGAGEMENT