Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Prof. Dr.-Ing. Uwe Nestmann - Academic Services
[go: Go Back, main page]

Prof. Uwe Nestmann @ TU Berlin HTML-4.0 Checked!
Affiliations
IFIP TC1, ACM, GI,
EA{ TCS, PLS }
DHV, THESIS
Research
Publications
Grants
Services, Mobility
Teaching
Courses
@meinprof.de
Student Projects
Local
TRESOR seminars
I&C Seminars / SRI
Last modified: Wed Feb 22 00:32:14 CET 2006

Academic Services

guest
editor
Journal of Theoretical Computer Science: Special Issue on EXPRESS '03
Nordic Journal of Computing: Special Issue on EXPRESS'02
Journal of Logic and Algebraic Programming: Special Issue on Pi-Calculus
programme
committees
EXPRESS 2006, FMOODS 2006, ICALP 2005, FMOODS 2005, ARTS 2004, FMOODS 2003 (co-chair), EXPRESS 2003 (co-chair), IWFM'03, FoSSaCS 2003, ICFP 2002, EXPRESS 2002 (co-chair), FMOODS 2002, CONCUR '01, CONCUR 2000, HLCL 2000, EXPRESS'99, SOAP '99 (co-chair), HLCL '98 (co-chair), SOAP '98 (co-chair)
referee for numerous journals (Distributed Computing, I&C, JSC, LaSC, MSCS, SoCP, TCS, ToPLaS, ToSEM, TSE, Computer Languages, The Computer Journal, ...) and conferences (CONCUR, ICALP, LICS, STACS, TACAS, ICFP, EXPRESS, ASIAN, MFCS, TACS, ConCoord, PLDI, ...)
"web service" Calculi for Mobile Processes
(Mobility Homepage & Bibliography)

Organizational Activities

co-chair (1-day workshop): 08/05 DisCoVeri (satellite of CONCUR 2006)
San Francisco (US)
08/03 EXPRESS 2003 (satellite of CONCUR 2003)
Marseille (FR)
08/02 EXPRESS 2002 (satellite of CONCUR 2002)
Brno (CZ)
workshop coordinator: 08/00 CONCUR 2000 (satellites)
Penn State University (USA)
co-chair (1-day workshops): 07/99 SOAP '99 (satellite of ECOOP '99)
Lisbon (Portugal)
09/98 HLCL '98 (satellite of CONCUR '98)
Nice (France)
07/98 SOAP '98 (satellite of ICALP '98)
Aalborg (Denmark)
co-chair (5-day summerschool): 08/95 Programs & Proofs: Working in Type Theory
Hetzelsdorf (Fränkische Schweiz, Germany)
co-chair (1-day meetings): 12/95 2. LFCS-IMMD-FMI meeting
Erlangen (Germany)
12/94 1. LFCS-IMMD-FMI meeting
Erlangen (Germany)
co-chair (5-day workshops): 09/93 2. Fränkische OOrientierungstage
Rothenbühl (Fränkische Schweiz, Germany)
10/92 1. Fränkische OOrientierungstage
Erlangen (Germany)
08/91 2. Fränkische Protokolltage
Hetzelsdorf (Fränkische Schweiz, Germany)
08/90 1. Fränkische Protokolltage
Hetzelsdorf (Fränkische Schweiz, Germany)