ST /
ST2015-11
ST Division Meeting 2015-11-10 at 13:15 in the EDIT-room (3364)
(One of the ST Division Meetings.)
Agenda:
- Visibility and Web presence
- NiFr
- Education overview:
- (JaSk): Introductory programming courses: status? changes?
- NiBr: BSc projects: status?
- MaMy+MoJo+JoDu: MSc projects: status?
- TODO: Course Clusters: I want all clusters to meet before the end of January to discuss course plans before the Chalmers deadline.
- Research project overview
- See table below
| End | From | Short | People | Notes |
|---|---|---|---|---|
| 2015-09 | EU | PROWESS | JoHu, NiSm, MiPa, AlGe | http://www.prowessproject.eu/ |
| 2015-10 | VR | Språkbaserad datasäkerhet | DaSa | VR framework grant |
| 2015-12 | VR | SecOpen | AlRu | VR junior project grant |
| 2015-12 | VR | FPHW | MaSh | A functional programming approach to hardware acceleration of algorithms http://www.cse.chalmers.se/~ms/MSVR10Final.pdf |
| 2016-04? | AoA | CSmCT | MaSh | AoA seed money with S2 (~100kSEK) |
| 2016-04? | AoA | RRPPI | WoAh | AoA seed money with S2 (~300kSEK): Rigorous Reasoning about Product and Production Interdependencies |
| 2016-06 | TKDAT | DSLsofMath | CeIo, PaJa, AdSE amanuens | Chalmers education quality funding |
| 2016-08 | SSF | RAWFP | JoHu, KoCl, MaSh, PaJa + others | |
| 2016-12? | SSF | DataBIn | DaSa, GeSc, DeDu@CS | Data-Driven Secure Business Intelligence |
| 2016-? | VR | StaRVOOrS | WoAh & GeSc | |
| 2017-12? | ST | CaFuStart | CaFu | start package (1 PhD student) |
| 2017-12? | ST | MaMyStart | MaMy | start package (1 PhD student) |
| 2017-12? | VR | SysVer | MaMy | Systems Verification – The Last Mile |
| 2017-12? | VR | GenPro | LaKo | Generating and Proving Program Properties using Symbol Elimination |
| 2017? | VR | REMU | ArRa@CS, GeSc, KoCl | ReMU: Reliable Multilingual Digital Communication: Methods and Applications |
| 2018-01 | EU | GRACeFUL | 20% PaJa + IrLV PhD student | GRACeFUL |
| 2018-09 | EU | CoeGSS | PaJa, MiPa, CeIo, DeDu@CS | CoEGSS Centre of Excellence for Global Systems Science |
| 2018-12? | VR | PBTest | KoCl | VR project grant: funding AvdP as PostDoc: Proof-based testing |
| 2018-12? | VR | LEAR | MoJo | Learning and Exploration in Automated Reasoning |
| 2018-12? | VR | AppFlow | DaSa (ProSec) | VR framework grant: AlSj + MaVi + 1 PhD position in the pipeline |
| 2018-12? | VR | DecentLP | AnSa | VR project grant |
| 2018-12? | VR | ProSecuToR | AnSa | ERC |
| 2018? | EU | ARVI | GeSc, WoAh | EU COST action on Runtime Verification beyond Monitoring |
| --- | EU | SYMCAR | LaKo | ERC Starting Grant placed in Vienna. SYMCAR: Symbolic Computation and Automated Reasoning for Program Analysis |
| 2019-12? | Wall | TheProSe | LaKo | Wallenberg Fellowship 2014: Theorem Proving and Symbol Elimination for Software Analysis and Verification |
| 2025 | Wall | WASP | DaSa | Wallenberg Autonomous Systems Program, TODO: find out ST impact? |
Information
Information
Newcomers' party next week
There is a tradition that the "newcomers" organize a party in Oct/Nov - some more information is included below.
ST Newcomers' party 2015-11-18
Var:CSE lunchroom
This year's STd newcomers' party will take place November 18th. Overall, there's 10 of us to introduce and whose arrival to be celebrated :) We really hope you all join!
Details on time, agenda, activities, etc. to come! (the event is in the make at this stage).
Preliminarily: 17:00 Mingle 18:00 Food 19:00 Powerpoint karaoke 20:00 Mingle some more
Please sign up below to attend. There will be food so if you have any dietary restrictions indicate it in the comments.
Doodle: https://doodle.com/poll/p57wcd7k42t5q648
Newcomers after the 2014 party:
- 2014-12-01: AlGe
- 2015-02-01: AvdP
- 2015-03-01: ThAn
- 2015-03-01: StvA
- 2015-08-01: IrLV
- 2015-08-01: AlSj
- 2015-09-01: AdSE
- 2015-09-01: AnVo
- 2015-10-01: PeHa
- 2015-10-01: MaVa
History:
- 2014-11-28: Org.: Magnus, Markus, Musard & Simon
- 2013-11-11: http://wiki.portal.chalmers.se/cse/pmwiki.php/ST/ST2013-11