AG RA - Service

Here is a listing of events related to the Group for Computer Architecture. In case you want to contribute to this list, please contact the secretary.

THIS YEAR

At 04.12.2008
Assisting Software Developers to Implement Hardware Solutions

Dissertation
Raum 3510
MZH

Lecturer: Dr. Kenneth Kent
Contact person: Prof. Dr. Rolf Drechsler

At 05.11.2008
Reversible and Quantum Circuits - Synthesis and Verification Challenges

Dissertation
Rotunde
Cartesium

Lecturer: Prof. Dr. Michael Miller
Contact person: Prof. Dr. Rolf Drechsler

At 24.04.2008
GirlsDay 08

Round about this Group
Seminarraum, MZH
Bremen, Uni Bremen

Contact person: Lisa Teuber

At 06.02.2008
Computer für die Bahnsteuerung: Wie sicher sind die Systeme von morgen

Round about this Group

MZH 8090, Uni Bremen

Contact person: Prof. Dr. Rolf Drechsler, Prof. Dr. Jan Pelseska

LAST YEARS:

19.07.2007	Protocol Transducer Synthesis using Divide and Conquer Approach
09.07.2007	4. Naturwissenschaftlich-technisches Schnupperstudium
02.05.2007	Objektorientierter Entwurf und Synthese von Hardware-/Softwaresystemen
26.04.2007	GirlsDay 07
06.02.2007	Common Workshop RA:GS!/GESy
29.01.2007	Bremer Studienpreis 2006
13.01.2007	Radiosendung: Sicherheit für Winzlinge
19.09.2006	Interview Rolf Drechsler and Sebastian Kinder "Embedded Systems"
14.07.2006	Night of Computer Science
11.07.2006	3. Naturwissenschaftlich-technisches Schnupperstudium
11.07.2006	Projection based synthesis techniques
17.05.2006	ISI
10.05.2006	„SystemC for Fun and Profit: Systematischer Entwurf eingebetteter Systeme mit Transaction-Level-Modeling“
02.05.2006	SAT-based Diagnosis of Formal Properties
27.04.2006	GirlsDay 06
01.02.2006	„Formale Verifikation von System-on-Chip-Entwürfen“
05.12.2005	Besuch und Kolloquium "Minimization Techniques for Reversible Logic Synthesis"
10.06.2005	2-SPP Netzwerke: Synthese und Testen
14.02.2005	Design Rewiring Using ATPG
17.12.2004	Taylor Expansion Diagrams - Application in Verification and Synthesis
26.05.2004	Testen digitaler Chips mit eingebetteten Speichern
12.05.2004	Optimierende Übersetzer: Vertrauen ist gut, Verfikation ist besser!
21.04.2004	DPLL-based Procedure for Equality Logic with Uninterpreted Functions
20.04.2004	GirlsDay 04