ST /

ST2013-12

(One of the ST Division Meetings.)

ST 2013-12-09: 15.15-16.00 in EDIT-8103

Agenda

Software Technology Center? Computing Technology Center? Security center? Software testing center?
- Patrik, Mary, Gerardo and others want an inclusive, research-focused center which could be called "Software center" if that name wasn't already taken
- Dave, Andrei, many others could form a "Security center" (complementing the Lindholmen security arena with a center on the more academic side)
- Discussion lead by Andrei, Mary
Teaching teams disc. (based on input from Peter Dybjer and Ana Bove)
- Ana, Wolfgang

Information

ST Division meetings 2014:
- Normally the 3rd Friday of the month at 11.00-12.00. First meeting will be during the ST Winter Meeting 2014.
ST Winter meeting 2014
- Organisers: Meng, Nick and Cezar
Congratulations to the VR grantees! VR2013
- Laura Kovács: GenPro: Generating and proving program properties via symbol elimination
- Koen Claessen: Proof-based testing -- Using proof techniques to enable automated testing of complex algorithms
- Magnus Myréen: Systems verification - the last mile
- Nils Anders Danielsson (at the CS division): Practical nested induction and coinduction
Employees leaving
- Jonas Magazinius; PhD; 2013-12-31
- Arnar Birgisson; PhD; 2013-12-31
Performance Appraisal discussions meetings ongoing (60-90 minutes each, with "PostDocs and up")
- 10 meetings in the first week (2013-11-11/15): DaHe, DaSa, GeSc, JaSk, JoSv, LaKo, MeWa, MoJo, NiBr, RaEn
- 10 meetings in the second week (2013-11-25/29): EmAx, AnSa, CrCa, KoCl, UnHo, NiSm, JoHu, WoAh, JPB, PhPh
Grant deadlines:
- VR (Swedish research council = vetenskaprsådet): 2014-04-09
  - Regular project grants
  - Project grants for young researchers
  - (NEW) Multi-project grants for strategic ICT research "Rambidrag för strategisk forskning inom informations- och kommunikationsteknik)
- European Research Council (ERC) plans to launch the first calls for Starting and Consolidator Grants under HORIZON 2020 on 11 December. The deadlines are planned for:
  - ERC Starting Grants (2-7y after PhD): 2014-03-25
  - ERC Consolidator Grants (7-12y after PhD): 2014-05-20
  - ERC Advanced Grants: 2014-10-21
- Source
Friskvårdsersättning Chalmers (wellbeing allowance)
- Only 5/45 of the ST division has used this opportunity to get up to 2000kr back for gym cards etc. Go for it, get fit!
- Details here and the pdf form to fill in
Expense reports: last deadlines for 2013:
- 2013-12-04 for GU-reports (to Rebecca)
- 2013-12-10 for Chalmers-reports (to LRS)

Text from Mary's slides in preparation for the center discussion

Industrial collaboration

Strengthens research
- new ideas, problems, people
Makes it easier to get national and EU funding

Industrial collaboration

 We should not all be hunting alone
 We need support from the dept and Chalmers
 We need to support each other!
 Our environment needs to make it easier to establish and maintain the necessary links

Imagine a centre

Run by us (the researchers)
Inclusive and welcoming
Showcases existing research
Helps us collaborate over group boundaries
Enables many types of projects with industry
- even very lightweight ones, even projects with a single industrial partner, internships … startups
Monthly meetings with technical talks (also interesting to MSc students)

More imaginings

Security
Functional Programming
Software Test
Formal Methods
Big Data
Parallelism
Language Technology
...

Dept wide or also involve S2?

Companies:

Quviq RecordedFuture Jasper Scrive Klarna Spotify RealTimeEmbedded Basho Galois Maxeler Adapteva Bluespec ErlangTrainingandConsulting Tabula Well-Typed DigitalIllusions EsterelTechnologies LexiFi SynectiveLabs ProverTechnolgy Jeppesen Xilinx StandardChartered CreditSuisse TrustedLabs Gaisler RUAGSpace NVIDIA …. OracleLabs Twitter AstraZeneca BMW Saab IBM Ericsson Volvo(s) Intel Facebook ARM MicrosoL Google

Discuss!

(What are Next Actions?)

Form a group: Mary, Laura, Emil
Return to this at the Winter Meeting
Bring it up at "kollegiet"?