http://www.itu.dk/~wasowski/ Andrzej reports here some of all the important and unimportant news about his professional life, travels, teaching and changes made to the website. Sun, 2 Nov 2008 19:00:00 GMT en-us 000000033 Fri, 30 Jul 2010 1:00 CET offline 31 July until 17 August. 000000032 Sun, 18 Jul 2010 1:00 CET I am visitting the Team S4, and Axel Legay in particular, the entire month of July 2010. Do not expect me to be responsive to email in this period. 000000031 Fri, 23 Dec 2009 10:15 CET I am the local organization chair for the Quantitative Model Checking PhD School (QMC 2010) to be held at IT University 2-5 March 2010. I hope to see you welcome you here! 000000029 Fri, 18 Dec 2009 9:00 CET I am away in Warsaw until January 4th. ITU students who are Interested in projects with me during the spring semester should try to start talking to me as soon as possible, so that we can meet first half of January. I will be traveling various places in the second half of January. 000000028 Tue, 25 Aug 2009 6:00 CET I am attending SPLC in San Francisco August 24-29 with some access to email. I am in Warsaw August 31 - September 7th working on a paper. I should be reachable by email and skype rather easily, although busy with writing. 000000027 Thu, 12 Jun 2009 20:00 CET I am on vacation in Poland, far from any ethernet sockets (and plugs) from July 21st to August 9th. 000000026 Thu, 12 Mar 2009 11:45 CET IT University has an open call for PhD scholarships with a deadline on April 16. Within this call you can apply for studying with me in both of my research areas (quantitative models for components and in model-drive engineering). Please contact me via email (or ask for a personal meeting) if you consider applying. 000000025 Wed, 04 Feb 2009 13:00 CET I search for a research intern, ready to work with me in summer 2009 on stochastic modeling within the MT-LAB project. Drop me an email if your are interested. We are particularly interested in Master of Science students who are persuing a degree in mathematics or theoretical computer science. Tue, 12 Mar 2009 11:40 CET 000000027 I am on the PC. The call for papers is here. See you in Denver! 000000024 Wed, 12 Jan 2009 22:10 CET Hichem is visitting on 15-16 January. He is giving a talk on January 16th 000000024 Wed, 12 Nov 2008 20:21 CET There is a new guide for IT University students on creation of project agreements. 000000023 Wed, 12 Nov 2008 20:00 CET I have given a talk at a conference of the Danish Accreditation Institution (ACE Denmark) on ITU's experience in the accreditation process of our Software Development and Technology programme, focusing on how the accreditation requirements were documented using existing quality assurance systems. Slides are available. 000000022 Sun, 2 Nov 2008 19:00:00 GMT I am one of the (youngest ;) ) founding members of MT-LAB, a recently granted VKR Centre of Excellence on modeling in Information Technolgy. A nice amount of 25 mio. kr. follows with that name, together with an exciting list of partners, and even more exciting research agenda. The offical opening is on November 19-20, while technically the project is running since yesterday. So starting yesterday my focus is stochastic and continuous. Oh yeah! 000000021 Wed, 15 Oct 2008 7:00:00 GMT We are hiring at assistant (tenure track) / associate (tenured) prof. level in the area of software development. The application deadline is Nov 10th at 12:00. The call is here (scroll to Associate/Assistant professorship in Software Development). 000000020 Wed, 15 Sep 2008 10:25:00 GMT IT University has an open call for PhD scholarship applications. Please consider if you are interested in a scholarship with me (and by all means please contact me first). The call is here. The deadline is October 10th at noon CET (sharp). 000000019 Wed, 15 Sep 2008 10:15:00 GMT I have coauthored two papers to be presented at MODELS 2008. One with Anders Hessellund on inference of interface specifications for XML files (seen as small DSLs). The application is in ERP systems. The other paper is with Mikolas Janota and it bears on intelligent editors for modeling languages (with the main practical contribution to feature modeling). 000000018 Wed, 15 Sep 2008 10:10:00 GMT Together with Michael, Adam, Ulrik and Kim we had a paper in the EXPRESS workshop this year showing that consistency of mixed specifications and existance of common implementation of modal transition systems are both EXPTIME-complete problems. Complexity of thorough refinement for modal transition systems is still open. 000000017 Wed, 15 Sep 2008 10:05:00 GMT I will be out of office: Sep 30 - Oct 5 attending MODELS in Toulouse, France. Oct 18 - Oct 24 attending GPCE/OOPSLA in Nashville, TN. Dec 13 - 18 Grace-BX meeting in Japan. Dec 19 - Jan 4 Christmas vacation in Poland. 000000016 Wed, 16 Jul 2008 10:05:00 GMT I will be out of office: July 25 - August 4 short vacation in Poland (no access to email), August 29 - a meeting in Aalborg, September 8-13 SPLC in Limerick, Ireland. 000000015 Tue, 12 Jul 2008 20:10:00 GMT Efficient Compilation Techniques for Large Scale Feature Models is the title of a recent paper by Marcilio Mendonca written with some assistance from his advisors and myself. It bears on variable ordering heuristics for compiling feature models to BDDs. The paper has just been accepted for GPCE'08. This year GPCE is collocated with OOPSLA, so there is an extra incentive to participate. My calendar, so far, says that I am likely to go to Nashville again, even though I have been there less than a year ago, and this is definitely not my favourite destination in the States... 000000014 Tue, 01 Jul 2008 20:00:00 GMT We got a paper accepted with Krzysztof Czarnecki and Steven She for SPLC 2008. The paper introduces probabilistic feature models (semantics, reasoning, mining). It is a second installment of our reverse engineering series, initiated at SPLC 2007 in Kyoto. Probabilistic extension of the models is a natural way to introduce soft constraints on variability. It also naturally matches the statistic nature of mining algorithms. Let me know if you need a preprint. And head to Ireland for the conference! Mon, 23 Jun 2008 7:30:00 GMT 000000013 Are you in need of an MSc thesis advisor? Check out my recently revised list of thesis topics and smaller projects ideas. 000000012 Mon, 20 May 2008 9:30:00 GMT Together with Adam Antonik, Michael Huth, Kim Larsen and Ulrik Nyman I have coauthored a survey paper on old and recent results on modal transition systems, mixed specifications, and partial Kripke structures for Bulletin's of EATCS Concurrency Column. Luca has just made it public on his blog, so no reason to sit quiet about it here. Go to Luca's blog to get it.