User contributions
- 14:47, 21 October 2017 (diff | hist) . . (+6) . . Deliverables (current)
- 14:46, 21 October 2017 (diff | hist) . . (+4) . . Deliverables
- 14:43, 21 October 2017 (diff | hist) . . (0) . . File:Verif-cfdlli.pdf (Sighireanu uploaded a new version of File:Verif-cfdlli.pdf) (current)
- 12:39, 6 September 2017 (diff | hist) . . (0) . . Deliverables
- 13:22, 5 September 2017 (diff | hist) . . (-41) . . Meetings (current)
- 13:17, 5 September 2017 (diff | hist) . . (+89) . . Meetings
- 13:09, 5 September 2017 (diff | hist) . . (+4) . . Deliverables
- 13:09, 5 September 2017 (diff | hist) . . (+2) . . Deliverables
- 13:08, 5 September 2017 (diff | hist) . . (+51) . . Deliverables
- 13:08, 5 September 2017 (diff | hist) . . (+39) . . N File:D1-4.pdf (D1.4: bi-abduction for Separation Logic) (current)
- 13:16, 4 September 2017 (diff | hist) . . (+67) . . Deliverables
- 13:14, 4 September 2017 (diff | hist) . . (+41) . . N File:Verif-cfdlli.pdf (Verification of container library: cfdlli)
- 13:13, 4 September 2017 (diff | hist) . . (0) . . File:D2-1.pdf (Sighireanu uploaded a new version of File:D2-1.pdf) (current)
- 20:40, 3 September 2017 (diff | hist) . . (+54) . . N File:D3-3.pdf (Deliverable 3.3: From low level to high level programs) (current)
- 20:40, 3 September 2017 (diff | hist) . . (0) . . File:D2-2.pdf (Sighireanu uploaded a new version of File:D2-2.pdf) (current)
- 20:39, 3 September 2017 (diff | hist) . . (0) . . File:D4-5.pdf (Sighireanu uploaded a new version of File:D4-5.pdf) (current)
- 13:09, 1 September 2017 (diff | hist) . . (+8) . . Deliverables
- 13:07, 1 September 2017 (diff | hist) . . (+46) . . N File:D4-5.pdf (Deliverable 4.5: Tools for High Level Programs)
- 13:07, 1 September 2017 (diff | hist) . . (+186) . . Deliverables
- 13:05, 1 September 2017 (diff | hist) . . (+56) . . N File:D2-2.pdf (Deliverable 2.2: Static Analysis for High Level Programs)
- 15:47, 28 August 2017 (diff | hist) . . (0) . . File:D2-1.pdf (Sighireanu uploaded a new version of File:D2-1.pdf)
- 17:38, 27 August 2017 (diff | hist) . . (+50) . . Deliverables
- 17:37, 27 August 2017 (diff | hist) . . (+54) . . N File:D3-1.pdf (Deliverable 3.1 : Logic tools for refinement relations) (current)
- 08:46, 24 August 2017 (diff | hist) . . (+55) . . Deliverables
- 08:45, 24 August 2017 (diff | hist) . . (+76) . . Deliverables
- 08:42, 24 August 2017 (diff | hist) . . (+107) . . Deliverables
- 07:56, 24 August 2017 (diff | hist) . . (+19) . . Deliverables
- 07:52, 24 August 2017 (diff | hist) . . (+2) . . Deliverables
- 07:51, 24 August 2017 (diff | hist) . . (+49) . . Deliverables
- 07:50, 24 August 2017 (diff | hist) . . (+80) . . N File:D4-3.pdf (Report going with the prototypes for deliverables 'Tools for low level programs') (current)
- 17:38, 22 August 2017 (diff | hist) . . (+5) . . Deliverables
- 17:22, 22 August 2017 (diff | hist) . . (+3) . . Deliverables
- 17:21, 22 August 2017 (diff | hist) . . (+157) . . Deliverables
- 17:11, 22 August 2017 (diff | hist) . . (+1) . . Deliverables
- 17:11, 22 August 2017 (diff | hist) . . (+56) . . Deliverables
- 17:10, 22 August 2017 (diff | hist) . . (+50) . . N File:D2-1.pdf (Deliverable 2.1: Static Analysis of Low Level Code)
- 11:21, 22 August 2017 (diff | hist) . . (+2) . . Deliverables
- 11:20, 22 August 2017 (diff | hist) . . (+70) . . Deliverables
- 11:18, 22 August 2017 (diff | hist) . . (-15) . . Deliverables
- 11:16, 22 August 2017 (diff | hist) . . (+1,985) . . Deliverables
- 09:02, 4 May 2017 (diff | hist) . . (+23) . . Deliverables
- 08:55, 4 May 2017 (diff | hist) . . (+131) . . Deliverables
- 13:01, 30 August 2016 (diff | hist) . . (-141) . . Jobs (current)
- 12:54, 18 May 2016 (diff | hist) . . (+2) . . Grenoble meeting 25 May 2016
- 12:53, 18 May 2016 (diff | hist) . . (+59) . . Grenoble meeting 25 May 2016
- 21:13, 10 May 2016 (diff | hist) . . (+386) . . Funded PhD (3 years) in Program Analysis (current)
- 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)