New pages

From PLSwiki

Jump to: navigation, search

Showing below up to 12 results starting with #1.

View (previous 50) (next 50) (20 | 50 | 100 | 250 | 500)

  1. 13:09, 9 June 2015 ‎Lunch Talk 160615 (hist) ‎[880 bytes] ‎Mpav (Talk | contribs) (New page: Guarded recursion is a form of recursion where recursive calls are guarded by delay modalities. Previous work has shown how guarded recursion is useful for constructing logics for reasonin...)
  2. 22:59, 29 January 2015 ‎Siewe Lunch Talk 170215 (hist) ‎[2,294 bytes] ‎Hilde (Talk | contribs) (New page: Lunch Talk by Francois Siewe, 12-13:00, 17-02-15 Title: The Calculus of Context-aware Ambients (CCA) and applications Abstract: Mark Weiser in his seminal paper "The Computer of the 21st...)
  3. 22:54, 29 January 2015 ‎Caires Lunch Talk 030215 (hist) ‎[831 bytes] ‎Hilde (Talk | contribs) (New page: Lunch Talk by Luis Caires, 12-13:00. Title: Types and Logic, Concurrency and Non-Determinism Abstract: Behavioural types are becoming an increasingly useful instrument to reason about th...)
  4. 12:46, 16 January 2015 ‎LunchTalksS2015 (hist) ‎[1,277 bytes] ‎Mogel (Talk | contribs) (New page: {| |- ! style="width: 50%" colspan="2" | When ! style="width: 25%" | What ! style="width: 25%" | Who |- | Thursday | 11.09.2014 | Cancelled (Talk by Dale Miller 3A08 15-16) | |- | Thursda...)
  5. 10:47, 8 September 2014 ‎LunchTalksF2014 (hist) ‎[959 bytes] ‎Mogel (Talk | contribs) (New page: {| |- ! style="width: 50%" colspan="2" | When ! style="width: 25%" | What ! style="width: 25%" | Who |- | Thursday | 11.09.2014 | Cancelled (Talk by Dale Miller 3A08 15-16) | |- | Thursd...)
  6. 11:22, 9 May 2014 ‎A Decade of Model-Driven Security (hist) ‎[1,138 bytes] ‎Hilde (Talk | contribs) (New page: Title: A Decade of Model-Driven Security Speaker: David Basin When: 12:00-13:00, May 22th, 2014 Where: 4D corridor, ITU In model-driven development, system designs are modeled in graphi...)
  7. 11:21, 9 May 2014 ‎Human Behaviour and Analysing System Models (hist) ‎[1,385 bytes] ‎Hilde (Talk | contribs) (New page: Title: Human Behaviour and Analysing System Models Speaker: Christian W. Probst, DTU When: 12:00-13:00, May 15th, 2014 Where: 4D corridor, ITU Traditionally, formal system models for sec...)
  8. 08:05, 4 April 2014 ‎2014-04-23-Riccardo (hist) ‎[663 bytes] ‎Carsten (Talk | contribs) (New page: {| border="1" cellpadding="2" style="background:#efefef;" |- ! Time !! Thursday 11.08.2011 !! Place |- || 9:00 - 10:00|| Carsten || 4C13 |- || 10:00 - 11:00|| TALK || tba |- || 11:00 ...)
  9. 12:53, 3 February 2014 ‎LunchTalksS2014 (hist) ‎[1,327 bytes] ‎Mogel (Talk | contribs) (New page: PLS talks take place on Tuesdays and Models talks on Thursdays 12-13. Room TBA. Here is the schedule for Fall 2013. {| |- ! style="width: 50%" colspan="2" | When ! style="width: 25%" | Wh...)
  10. 13:48, 10 January 2014 ‎HoTT-2014 (hist) ‎[7,632 bytes] ‎Mogel (Talk | contribs) (New page: == Seminar on Homotopy type theory, Spring 2014 == From the Homotopy type theory book: Homotopy type theory is a new branch of mathematics that combines aspects of several different ...)
  11. 11:35, 28 November 2013 ‎ShortAbstract12122013 (hist) ‎[1,032 bytes] ‎Hilde (Talk | contribs) (New page: Engineering Data-Centric Process Models Business processes are typically modeled from different angles. Two important perspectives are the control flow (procedural) and the data perspect...)
  12. 21:23, 26 November 2013 ‎ShortAbstract28112013 (hist) ‎[582 bytes] ‎Hilde (Talk | contribs) (New page: Models Lunch talk, Nov 28, 2013 at 12-13 Speaker: Claus Brabrand TITLE: "Systematic Derivation of Static Analyses for Software Product Lines" SHORT ABSTRACT: We develop a systematic met...)

View (previous 50) (next 50) (20 | 50 | 100 | 250 | 500)

Views
Personal tools