|
|
|
  |
| Author: | Paul.Boca |
| Posts total: | 14 |
| Threads total: | 14 |
|
|
|
| |
| Author posting activity |
| |
Week |
Month |
3 Months |
| Threads |
1 |
1 |
3 |
| Posts |
1 |
1 |
3 |
|
|
|
|
|
|
|
|
| |
|
|
| Author's most active threads |
*** BCSWomen/BCS-FACS Joint Evening Seminar by Prof. Ursula Martin: Design Verification for Control Engineering, 26 April 2007, 5.45pm, London ***
Started Paul.Boca · Date: Apr 7, 2007 08:40 ·
Posts: 1 / 1 (Paul.Boca / total) |
***REMINDER:BCS-FACS/BCSWomen Joint Evening Seminar by Prof. Ursula Martin, 26 April, 5.45pm, London: Design Verification for Control Engineering
Started Paul.Boca · Date: Apr 23, 2007 05:49 ·
Posts: 1 / 1 (Paul.Boca / total) |
*** BCS-FACS Evening Seminar by Prof. Michael Butler, 10 May 2007, 5.45pm, London,UK ***
Started Paul.Boca · Date: Apr 24, 2007 17:59 ·
Posts: 1 / 1 (Paul.Boca / total) |
Evening Seminar by Prof Michael Butler, 10 May, 5.45pm, London: Incremental Development of Distributed Systems
Started Paul.Boca · Date: Apr 25, 2007 14:09 ·
Posts: 1 / 1 (Paul.Boca / total) |
REMINDER: Seminar entitled Incremental Development of Distributed Systems, by Prof. Michael Butler, 10 May 2007, 5.45pm, London
Started Paul.Boca · Date: May 5, 2007 16:06 ·
Posts: 1 / 1 (Paul.Boca / total) |
*** BCS-FACS Evening Seminar, 4 June 2007, 5.45pm, London: Using Temporal Logic to Analyse Temporal Logic: A Hierarchical Approach Based on Intervals
Started Paul.Boca · Date: May 16, 2007 14:50 ·
Posts: 1 / 1 (Paul.Boca / total) |
*** REMINDER: BCS-FACS Seminar -- Using Temporal Logic to Analyse Temporal Logic: A Hierarchical Approach Based on Intervals, Ben Moszkowski, 4 June 2007, 5.45pm, BCS Offices, London, UK
Started Paul.Boca · Date: May 30, 2007 14:59 ·
Posts: 1 / 1 (Paul.Boca / total) |
BCS-FACS Xmas Meeting on Formal Methods in Industry, 17 December 2007, London -- REGISTRATION OPEN
Started Paul.Boca · Date: Nov 21, 2007 16:18 ·
Posts: 1 / 1 (Paul.Boca / total) |
*** Grand Challenges 6 Town Meeting, 4 February, 4.30pm-8pm, BCS Offices, London, UK ***
Started Paul.Boca · Date: Jan 13, 2008 13:27 ·
Posts: 1 / 1 (Paul.Boca / total) |
*** Grand Challenges 6 Town Meeting, 4 February, 4.30pm-8pm, BCS Offices, London, UK ***
Started Paul.Boca · Date: Jan 28, 2008 14:29 ·
Posts: 1 / 1 (Paul.Boca / total) |
|
| Most active threads sterted by author |
Call for participation: BCS-FACS/FME/SCSC Workshop on Formal Aspects of Safety Critical Systems
Date: Sep 13, 2008 04:03 ·
Posts: 1 |
*** VSR-net Workshop, 15 September 2008, BCS London Offices: Programme online, Registration open
Date: Aug 15, 2008 10:56 ·
Posts: 1 |
FACS/SCSC Evening Seminar:Public Safety, Counter Terrorism and the Mathematics of Proof, 12 May 2008, 5.45pm, BCS London Offices
Date: Mar 21, 2008 15:48 ·
Posts: 1 |
Grand Challenges 6 -- Dependable Systems Evolution workshop, 18 March 2008, London
Date: Feb 27, 2008 07:30 ·
Posts: 1 |
*** Grand Challenges 6 Town Meeting, 4 February, 4.30pm-8pm, BCS Offices, London, UK ***
Date: Jan 28, 2008 14:29 ·
Posts: 1 |
*** Grand Challenges 6 Town Meeting, 4 February, 4.30pm-8pm, BCS Offices, London, UK ***
Date: Jan 13, 2008 13:27 ·
Posts: 1 |
BCS-FACS Xmas Meeting on Formal Methods in Industry, 17 December 2007, London -- REGISTRATION OPEN
Date: Nov 21, 2007 16:18 ·
Posts: 1 |
*** REMINDER: BCS-FACS Seminar -- Using Temporal Logic to Analyse Temporal Logic: A Hierarchical Approach Based on Intervals, Ben Moszkowski, 4 June 2007, 5.45pm, BCS Offices, London, UK
Date: May 30, 2007 14:59 ·
Posts: 1 |
*** BCS-FACS Evening Seminar, 4 June 2007, 5.45pm, London: Using Temporal Logic to Analyse Temporal Logic: A Hierarchical Approach Based on Intervals
Date: May 16, 2007 14:50 ·
Posts: 1 |
REMINDER: Seminar entitled Incremental Development of Distributed Systems, by Prof. Michael Butler, 10 May 2007, 5.45pm, London
Date: May 5, 2007 16:06 ·
Posts: 1 |
|
|
|
| Latest threads |
Call for participation: BCS-FACS/FME/SCSC Workshop on Formal Aspects of Safety Critical Systems
Date: Sep 13, 2008 04:03 ·
Posts: 1 |
*** VSR-net Workshop, 15 September 2008, BCS London Offices: Programme online, Registration open
Date: Aug 15, 2008 10:56 ·
Posts: 1 |
FACS/SCSC Evening Seminar:Public Safety, Counter Terrorism and the Mathematics of Proof, 12 May 2008, 5.45pm, BCS London Offices
Date: Mar 21, 2008 15:48 ·
Posts: 1 |
Grand Challenges 6 -- Dependable Systems Evolution workshop, 18 March 2008, London
Date: Feb 27, 2008 07:30 ·
Posts: 1 |
*** Grand Challenges 6 Town Meeting, 4 February, 4.30pm-8pm, BCS Offices, London, UK ***
Date: Jan 28, 2008 14:29 ·
Posts: 1 |
*** Grand Challenges 6 Town Meeting, 4 February, 4.30pm-8pm, BCS Offices, London, UK ***
Date: Jan 13, 2008 13:27 ·
Posts: 1 |
BCS-FACS Xmas Meeting on Formal Methods in Industry, 17 December 2007, London -- REGISTRATION OPEN
Date: Nov 21, 2007 16:18 ·
Posts: 1 |
*** REMINDER: BCS-FACS Seminar -- Using Temporal Logic to Analyse Temporal Logic: A Hierarchical Approach Based on Intervals, Ben Moszkowski, 4 June 2007, 5.45pm, BCS Offices, London, UK
Date: May 30, 2007 14:59 ·
Posts: 1 |
*** BCS-FACS Evening Seminar, 4 June 2007, 5.45pm, London: Using Temporal Logic to Analyse Temporal Logic: A Hierarchical Approach Based on Intervals
Date: May 16, 2007 14:50 ·
Posts: 1 |
REMINDER: Seminar entitled Incremental Development of Distributed Systems, by Prof. Michael Butler, 10 May 2007, 5.45pm, London
Date: May 5, 2007 16:06 ·
Posts: 1 |
|
| Latest posts |
Call for participation: BCS-FACS/FME/SCSC Workshop on Formal Aspects of Safety Critical Systems
Date: Sep 13, 2008 04:03
|
*** VSR-net Workshop, 15 September 2008, BCS London Offices: Programme online, Registration open
Date: Aug 15, 2008 10:56
|
FACS/SCSC Evening Seminar:Public Safety, Counter Terrorism and the Mathematics of Proof, 12 May 2008, 5.45pm, BCS London Offices
Date: Mar 21, 2008 15:48
|
Grand Challenges 6 -- Dependable Systems Evolution workshop, 18 March 2008, London
Date: Feb 27, 2008 07:30
|
*** Grand Challenges 6 Town Meeting, 4 February, 4.30pm-8pm, BCS Offices, London, UK ***
Date: Jan 28, 2008 14:29
|
*** Grand Challenges 6 Town Meeting, 4 February, 4.30pm-8pm, BCS Offices, London, UK ***
Date: Jan 13, 2008 13:27
|
BCS-FACS Xmas Meeting on Formal Methods in Industry, 17 December 2007, London -- REGISTRATION OPEN
Date: Nov 21, 2007 16:18
|
*** REMINDER: BCS-FACS Seminar -- Using Temporal Logic to Analyse Temporal Logic: A Hierarchical Approach Based on Intervals, Ben Moszkowski, 4 June 2007, 5.45pm, BCS Offices, London, UK
Date: May 30, 2007 14:59
|
*** BCS-FACS Evening Seminar, 4 June 2007, 5.45pm, London: Using Temporal Logic to Analyse Temporal Logic: A Hierarchical Approach Based on Intervals
Date: May 16, 2007 14:50
|
REMINDER: Seminar entitled Incremental Development of Distributed Systems, by Prof. Michael Butler, 10 May 2007, 5.45pm, London
Date: May 5, 2007 16:06
|
|
|
|
