User contributions
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 10:20, 6 May 2016 (diff | hist) . . (+64) . . Funded PhD (3 years) in Program Analysis
- 10:16, 6 May 2016 (diff | hist) . . (-74) . . Funded PhD (3 years) in Program Analysis
- 10:15, 6 May 2016 (diff | hist) . . (-10) . . Funded PhD (3 years) in Program Analysis
- 10:15, 6 May 2016 (diff | hist) . . (+1,433) . . Funded PhD (3 years) in Program Analysis
- 10:03, 6 May 2016 (diff | hist) . . (+1) . . Funded PhD (3 years) in Program Analysis
- 10:02, 6 May 2016 (diff | hist) . . (+2,335) . . N Funded PhD (3 years) in Program Analysis (Created page with " == Static Analysis and Refinement of Dynamic Data Structures == Most programming languages offer Application Programming Interfaces (API) providing ready-to-use abstract d...")
- 09:25, 6 May 2016 (diff | hist) . . (+98) . . Jobs
- 09:24, 6 May 2016 (diff | hist) . . (+9) . . Funded Post-doc positions in Program Analysis and Verification (current)
- 09:23, 6 May 2016 (diff | hist) . . (-41) . . Funded Post-doc positions in Program Analysis and Verification
- 09:22, 6 May 2016 (diff | hist) . . (-1) . . Jobs
- 10:44, 19 October 2015 (diff | hist) . . (-87) . . Jobs
- 10:36, 19 October 2015 (diff | hist) . . (-8) . . Jobs
- 10:21, 19 October 2015 (diff | hist) . . (+7) . . News
- 10:21, 19 October 2015 (diff | hist) . . (+14) . . News
- 10:09, 19 October 2015 (diff | hist) . . (+1,069) . . News
- 16:12, 27 March 2015 (diff | hist) . . (+84) . . Grenoble meeting 27 February 2015 (Added link for the slides of Mihaela's talk) (current)
- 16:02, 27 March 2015 (diff | hist) . . (+1) . . Jobs
- 16:01, 27 March 2015 (diff | hist) . . (+9) . . Kick-off meeting 20-21 November 2014 (current)
- 16:00, 27 March 2015 (diff | hist) . . (+98) . . Kick-off meeting 20-21 November 2014 (added minutes)
- 15:58, 27 March 2015 (diff | hist) . . (0) . . Grenoble meeting 27 February 2015
- 15:56, 27 March 2015 (diff | hist) . . (+106) . . Grenoble meeting 27 February 2015
- 15:34, 27 March 2015 (diff | hist) . . (-54) . . Partners (current)
- 15:33, 27 March 2015 (diff | hist) . . (+246) . . Partners
- 15:31, 27 March 2015 (diff | hist) . . (+4) . . Partners
- 15:30, 27 March 2015 (diff | hist) . . (+15) . . Deliverables (change in the web address)
- 15:28, 27 March 2015 (diff | hist) . . (+2) . . User:Sighireanu (current)
- 15:28, 27 March 2015 (diff | hist) . . (+165) . . N User:Sighireanu (Created page with "'''Mihaela Sighireanu''' Associate Professor at [http://www.liafa.univ-paris-diderot.fr LIAFA], personal page [http:www.liafa.univ-paris-diderot.fr/~sighirea here].")
- 11:44, 27 March 2015 (diff | hist) . . (+154) . . Related Projects (current)
- 11:42, 27 March 2015 (diff | hist) . . (+213) . . News
- 11:37, 27 March 2015 (diff | hist) . . (0) . . m Kick-off meeting 20-21 November 2014 (Sighireanu moved page Kickoff Meeting November 2014 to Kick-off meeting 20-21 November 2014)
- 11:37, 27 March 2015 (diff | hist) . . (+50) . . N Kickoff Meeting November 2014 (Sighireanu moved page Kickoff Meeting November 2014 to Kick-off meeting 20-21 November 2014) (current)
- 11:36, 27 March 2015 (diff | hist) . . (-69) . . Meetings
- 11:33, 27 March 2015 (diff | hist) . . (+8) . . Meetings
- 11:32, 27 March 2015 (diff | hist) . . (0) . . m Kick-off meeting 20-21 November 2014 (Sighireanu moved page Meeting 2014 November to Kickoff Meeting November 2014)
- 11:32, 27 March 2015 (diff | hist) . . (+43) . . N Meeting 2014 November (Sighireanu moved page Meeting 2014 November to Kickoff Meeting November 2014) (current)
- 11:30, 27 March 2015 (diff | hist) . . (-6) . . Meetings
- 11:30, 27 March 2015 (diff | hist) . . (0) . . m Kick-off meeting 20-21 November 2014 (Sighireanu moved page Meeting 2014 November 20 12 to Meeting 2014 November)
- 11:30, 27 March 2015 (diff | hist) . . (+35) . . N Meeting 2014 November 20 12 (Sighireanu moved page Meeting 2014 November 20 12 to Meeting 2014 November) (current)
- 11:28, 27 March 2015 (diff | hist) . . (-6) . . News
- 11:27, 27 March 2015 (diff | hist) . . (-23) . . Meetings
- 11:25, 27 March 2015 (diff | hist) . . (+45) . . Related Projects
- 11:25, 27 March 2015 (diff | hist) . . (+357) . . N Related Projects (Created page with "* [http://www.spark-2014.org/proofinuse ProofInUse] laboratory. * [http://www.spark-2014.org/ SPARK 2014] technology for proves of Ada programs. * [http://people.cs.kuleuven.b...")
- 11:21, 27 March 2015 (diff | hist) . . (+414) . . Kick-off meeting 20-21 November 2014
- 11:18, 27 March 2015 (diff | hist) . . (+1,563) . . N Kick-off meeting 20-21 November 2014 (Created page with "'''ANR Project Vecolib''' ''Kickoff Meeting, 20-21 November 2014'' Programme ''Thursday, 20th Nov 2014 in room 3058 (3rd floor)'' * 09:15 Welcome * 09:30 Mihaela Sighir...")
- 11:11, 27 March 2015 (diff | hist) . . (+147) . . m News (Added reference to deliverable 1)
- 11:04, 27 March 2015 (diff | hist) . . (+575) . . m News (News from LIAFA)
- 10:54, 27 March 2015 (diff | hist) . . (+76) . . m Deliverables
- 10:46, 27 March 2015 (diff | hist) . . (+81) . . N Deliverables (Deliverables of the Vecolib project)
- 18:47, 19 December 2014 (diff | hist) . . (+6,557) . . N You Want Best Dating Sites (Created page with "Internet dating is never a walk from the area for the majority lovers. You are likely to declined a lesser amount of self-confident and more uncomfortable over the initial day...") (current)
- 18:46, 19 December 2014 (diff | hist) . . (+237) . . N User:EvelynWestgarth (Created page with "I'm Evelyn and I live with my husband and our two children in Giovo Ligure, in the SV south area. My hobbies are Art collecting, Chainmail making and Creative writing.<br><br>...") (current)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)