VRProposals

Decision: FP-internal VR deadline: 080401

Historical background: VR projects from 2002:

SET	FP	03-05	Hughes, John	Typ kontroll för Erlang
SET	FP	03-05	Jansson, Patrik	Generiska funktionella program och bevis
SET	FP	04-06	Claessen, Koen	Abstraktionssökning med hjälp av ändlig-modellgenerering
SET	FP	04-06	Sheeran, Mary	Smarta kretsar: att lösa utmaningar inom design och verifiering av kretsar
SET	FP	06-08	Hughes, John	Sammanträdestyper umgås med industriell mjukvara
SET	FP	07-09	Claessen, Koen	Teorembevisning i första-ordningens logik för automatisk formell verifie...
SET	FP	07-09	Sheeran, Mary	Kretsdesign och verifiering med hjälp av funtionella programspråk

Future applications:

[Action item] Hughes, John: Apply! Björn helps, Carol helps, Title: DSL? ProTEST?
[Action item] Patrik Jansson: Apply! Mary helps, Title: Generic programs and proofs?
[Action item] Magnus: Apply! Koen helps.
- Should Magnus apply for more than one? No - focus instead.
- Maybe easier to get the "industry project" version
Apply?: Carol?, Emil?, Niklas?

Mary and Koen have a strong VR track record but it is difficult to get a second project. Possible way around that: apply for a PostDoc to come to Sweden (formally the PostDoc is the applicant, but the local contact must help a lot.)

Apply for external people to come here?

[action item] make a list of external people willing to come for a postdoc
- Duncan Coutts: Koen will help
- [Alexander Fuchs for next year] (Koen)
- [Cezar for next year?] (Patrik / Sibylle)

[Done 080328] Patrik: contact VR to get evaluation text for a list of applications from group members.

Carol sent: John Hughes, 2005-3935
Magnus sent: Magnus Björk, 2006-4291
Magnus sent: Magnus Björk, 2007-6421

[Done 080318] all: if you want your VR evaluation for a particular project, send the "diarienummer" and applicants name to Patrik by 080318.