|
1. BCI'2007 is the 3-rd Balkan Conference in Informatics held in Sofia,
Bulgaria, following BCI'2005,
held in Ohrid, and BCI'2003, held in Thessaloniki.
The aim of the
conference is to provide a forum
for discussions and dissemination of research achievements, to promote
interaction and collaboration
among scientists from the Balkans and beyond, and to encourage
involvement
of young researchers.
Dr. Stefan Andrei had presented an Invited Talk on September 27, 2007,
called 'Incremental
Verification and Debugging of Real-Time Embedded Systems'.
2. RTES'2007 is the First International Workshop on Real Time and
Embedded
Systems,
September 28-29, 2007, in conjunction with 9th International Symposium
on
Symbolic
and Numeric Algorithms for Scientific Computing (SYNASC'2007),
Timisoara,
Romania,
September 26-29, 2007.
RTES'2007 aims to bring together researchers and
practitioners
interested in real time and embedded systems.
The co-chairs of
RTES'2007
were
Dr. Albert Cheng from University of Houston and Dr. Stefan Andrei from
Lamar University.
They had reviewed the submitted papers and made a selection to be
published
in IEEE
Computer Society.
Dr. Stefan Andrei had presented the paper
'Path-Constrained Relaxed
Schedulability Analysis' at RTES'2007 and 'Approximate Satisfiability
Counting' at
SYNASC'2007 on September 29. Both papers will be published by IEEE
Computer Society.
BCI Conference
RTES Conference
|
