ST /
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
Chair: Wolfgang
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
Chair: Mary
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 |
12:30 Lunch
14:00 Session 3 (Teaching), chair: Dave Sands
Chair: Dave
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
Chair: Daniel
time | name | title |
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
19:30 Dinner
Friday 17th January
09:00 Session 5 (Mixed), chair: Gerardo Schneider
Chair: Gerardo
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
12:30 Lunch
13:30 Session 6 (LangTech and FP), chair: Ramona Enache
Chair: Ramona
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
(One of the ST Division Meetings.)
ST 2014-01-17: During the ST Winter Meeting 2014 at Varbergs Kurort
Agenda:
- Long term planning
- Positions:
- 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?
- Education:
- 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?
- Positions:
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.
Information:
- 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