Software Technology Winter Meeting 2014 Schedule
The schedule of all the sessions - for printing.
8:00 Bus leaves Chalmers, Copper Dome
9:00 Arrive at Varbergs Kurort and have coffee
9:30 Session 1 (FM), chair: Wolfgang Ahrendt
Formal Methods Session
|09:30||Moa Johansson||Theory Exploration|
|09:45||Evgenii Kotelnikov||Inductive Reasoning in Fist-Order Theories|
|10:00||Mauricio Chimento||Unified Static and Run-time Verification of object-oriented Software|
|10:15||Raúl Pardo Jiménez||Privacy in Social Networks|
10:30 Coffee break
11:00 Session 2 (FP), chair: Mary Sheeran
|11:00||Jeremy Gibbons (Oxford)||Folding Domain-Specific Languages: Deep and Shallow Embeddings|
|11.20||David Christiansen (ITU, Copenhagen)||Improving Error Messages from Embedded DSLs in Idris|
|11.35||Emil Axelsson||Automata-based manipulation of abstract syntax graphs|
|11.50||Cezar Ionescu||The Notion of Proof in Shakespeare's Othello|
|12.10||Jean-Philippe Bernardy||Linear Logic = Parallel Lambda Calculus|
14:00 Session 3 (Teaching), chair: Dave Sands
|Niklas B||How to Construct a Written Exam. |
Niklas has been praised by students for his modern and pedagogical style of written examination. So how does it work?
|Dave||Tips for Improving and Boosting the Popularity of your Course: Live programming and Recorded Lectures|
|Patrik||How would you set up a first course on programming?|
15:00 Coffee break
15:30 Session 4 (ProSec), chair: Daniel Hedin
|15:30||Daniel Hausknecht||Getting Password Meters and Password Generators right|
|15:40||Daniel Schoepe||Information flow in databases for free|
|15:50||Willard Rafnsson||Compositional Security for Interactive Systems|
|16:00||Bart van Delft||Paragon Support|
|16:15||Andrei Sabelfeld||The End of Privacy or a New Start?|
|16:25||Luciano Bello||The girlfriend injection attack|
|16:35||Steven Van Acker||Why so serious? Fun with security!|
17:00 Free time/spa
Friday 17th January
09:00 Session 5 (Mixed), chair: Gerardo Schneider
|09:00||Reiner Hähnle(TU Darmstadt)||Fully Abstract Method Contracts|
|09:30||Nikita Frolov||A formalization of scheduling transformations|
|10:00||Laura Kovacs||GenPro: Generating and Proving Program Properties via Symbol Elimination|
|10:10||Johan Nordlander||Designing an end-user DSL for network management automation|
10:30 GPS treasure hunt
For the GPS treasure hunt, we are divided in the following teams. The person in bold is the team leader.
- Meng, Ramona, John, Dave, Moa, Nikita
- Patrik, Willard, Nick, Gerardo, Daniel S., Josef
- Anders, Emil, Wolfgang, Hamid, Raúl, Daniel H.
- Dan, Daniel H., Luciano, Evgeny, Mauricio, Bart
- Inari, Filippo, Niklas, Laura, Jan, Jeremy
- Jonna, Cezar, Michal, Mary, Joel, Jonas D.
- Anton, Steven, Andrei, David, Reiner, Johan, Alejandro
13:30 Session 6 (LangTech and FP), chair: Ramona Enache
|13:30||Nick Smallbone||Finding more bugs|
|13:50||Inari Listenmaa||Extracting multi-word expressions from parallel text|
|14:10||John J. Camilleri||C stands for ...|
14:30 Coffee break
14:45 Session 7 (Long-term planning), chair: Patrik Jansson
ST 2014-01-17: During the ST Winter Meeting 2014 at Varbergs Kurort
- Long term planning
- The prel. plan is to announce two faculty positions at the Associate Professor level during 2015 with starting date early 2016.
- Research funding:
- We have been very successful in acquiring grants the last few years, but keeping this up will be a challenge. How should we structure our work to continue our winning streak?
- Organisation and leadership:
- The recommended division size is 10-30. The ST division is currently at 50 which indicates that a split in two (or more) groups would get us to within that range. What would be a reasonable basis for a regrouping?
- What are the most important curriculum development needs in the Software Technology area and how can we make sure they are fulfilled?
- PhD education:
- Should we have a set of recurring PhD level courses in the ST area? Structure forms for international exchange?
- Technology transfer:
- How do we interact with companies (big, small) and the general public?
- Where do our students, and employees end up? How do we keep in touch with our alumni?
For this session we will discuss in four working groups:
- Faculty: employees with permanent positions (AlRu, AnSa, DaSa, GeSc, JaSk, JoNo, LaKo, MaSh, PaJa, WoAh)
- "Junior faculty": PhD degree but no permanent position (DanHed, EmiAxe, JoeSve, JosSve, MenWan, MoaJoh, NicSma, NikBro, RamEna)
- PhD2: two or more years of PhD studies (AndPer, BarDel, FilTed, JonDur, LucBel, MicPał, NikFro, WilRaf)
- PhD1: less than two years of PhD studies (AntEkb, DanHau, DanRos, DanSch, EvgKot, HamEba, InaLis, JohCam, MauChi, RaúJim)
Guests can skip this session or take part in the fitting group.
- Budget overview 2014
- All Performance Appraisal discussions with 25 "PostDocs and up" at ST are done.
- Thanks for a very rewarding set of meetings!
- I have saved all the whiteboard notes for future reference.
- The corresponding meetings with (mainly) PhD students will be in March-April (after my AFP course)
- Some EU calls:
- 2014-04-01; 10M€; FETPROACT-1-2014; Global Systems Science (GSS)
- 2014-05-13; 47M€; H2020-DS-2014-1; DIGITAL SECURITY: CYBERSECURITY, PRIVACY AND TRUST
- 2014-11-25; 93M€; FETHPC-1-2014; HPC Core Technologies, Programming Environments and Algorithms for Extreme Parallelism and Extreme Data Applications
- Medarbetarskap workshops 2014: register in the doodle by 2014-01-20
- February 3-4 and March 13 (English)
- April 22-23 and May 26 (Swedish)
- September 24-25 and October 20 (English)
- November 10-11 and December 12 (English)
- Register "Guest lecturers 2013" in a Google Docs spreadsheet
- Deadline 2014-01-31