Recent Changes

Wednesday, August 31

  1. page Lunch talks edited ... (Section seniors' meeting) 4 October Lisbeth Breinholt, Morten Møller EU Horizon 2020 fund…
    ...
    (Section seniors' meeting)
    4 October
    Lisbeth Breinholt, Morten Møller
    EU Horizon 2020 funding opportunities (tentative)

    27 September
    20 September
    ...
    (Section seniors' meeting)
    6 September
    Lisbeth Breinholt
    EU Horizon 2020 funding opportunities <--- WILL BE MOVED LATER

    30 August
    23 August
    (view changes)
    11:53 am
  2. page Lunch talks edited ... 6 September Lisbeth Breinholt ... funding opportunities <--- WILL BE MOVED LATER 30 …
    ...
    6 September
    Lisbeth Breinholt
    ...
    funding opportunities <--- WILL BE MOVED LATER
    30 August
    23 August
    (view changes)
    11:10 am
  3. page Lunch talks edited ... 27 September 20 September Paolo Tell HELENA: On the use of Hybrid dEveLopmENt Approaches i…
    ...
    27 September
    20 September
    Paolo Tell
    HELENA: On the use of Hybrid dEveLopmENt Approaches in software systems development

    13 September
    (Section seniors' meeting)
    (view changes)
    10:44 am

Tuesday, August 30

  1. page Lunch talks edited ... (Section seniors' meeting) 6 September Lisbeth Breinholt EU Horizon 2020 funding opportuni…
    ...
    (Section seniors' meeting)
    6 September
    Lisbeth Breinholt
    EU Horizon 2020 funding opportunities

    30 August
    23 August
    (view changes)
    3:44 am

Tuesday, August 16

  1. page Lunch talks edited ... 30 August 23 August Peter Sestoft Introduction to blockchain technology 16 August (Sect…
    ...
    30 August
    23 August
    Peter Sestoft
    Introduction to blockchain technology

    16 August
    (Section seniors' meeting)
    (view changes)
    5:20 am

Sunday, August 7

  1. page Lunch talks edited ... (Section seniors' meeting) 7 June Alessandro Fantechi (CNR Pisa). Modelling Fantechi, CNR …
    ...
    (Section seniors' meeting)
    7 June
    Alessandro Fantechi (CNR Pisa). ModellingFantechi, CNR Pisa
    Modelling
    and analysing
    10 May
    (Section seniors' meeting)
    (view changes)
    10:31 am
  2. page Lunch talks edited ... (Section seniors' meeting) 9 August Joe Kiniry, Galois High-assurance elections and crypto…
    ...
    (Section seniors' meeting)
    9 August
    Joe Kiniry, Galois
    High-assurance elections and cryptography; 1230-1330 in 4D

    21 June
    Iago
    (view changes)
    10:12 am

Tuesday, August 2

  1. page Lunch talks edited ... 20 December 13 December (Section seniors' meeting) 6 December 29 November ... 15 Novem…
    ...
    20 December
    13 December
    (Section seniors' meeting)
    6 December
    29 November
    ...
    15 November
    8 November
    (Section seniors' meeting)
    1 November
    25 October
    ...
    (Fall break)
    11 October
    (Section seniors' meeting)
    4 October
    27 September
    20 September
    13 September
    (Section seniors' meeting)
    6 September
    30 August
    23 August
    16 August
    (Section seniors' meeting)
    9 August
    21 June
    (view changes)
    4:02 am
  2. page Lunch talks edited ... What 2016 28 June 20 December 13 December 6 December 29 November 22 November 15 Novem…
    ...
    What
    2016
    28 June20 December
    13 December
    6 December
    29 November
    22 November
    15 November
    8 November
    1 November
    25 October
    18 October
    (Fall break)
    11 October
    4 October
    27 September
    20 September
    13 September
    6 September
    30 August
    23 August
    16 August
    9 August

    21 June
    Iago
    ...
    7 June
    Alessandro Fantechi (CNR Pisa). Modelling and analysing variability in product families: Model checking of modal transition systems with variability constraints
    31 May
    10 May
    (Section seniors' meeting)
    (view changes)
    4:00 am

Sunday, June 12

  1. page Lunch talks edited ... 28 June 21 June Iago Challenges in Analyzing Linux for Bugs 14 June (Section seniors' m…
    ...
    28 June
    21 June
    Iago
    Challenges in Analyzing Linux for Bugs

    14 June
    (Section seniors' meeting)
    (view changes)
    11:38 pm

More