Grigore Rosu - Editing and Service

From FSL

(back to Grigore Rosu's page)

Editing

I edited or co-edited the following conference/workshop proceedings and journal special issues:

LNCS 5140 - Proceedings of AMAST'08	ENTCS 238(3) - Proceedings of WRLA'08	HOSC 20(1/2) - Special issue dedicated to WRLA'06	LNCS 4262 - Proceedings of FATES/RV'06
ENTCS 113 - Proceedings of RV'04	FMSD 27(3) - Special issue dedicated to RV'02	ENTCS 70(4) - Proceedings of RV'02	FMSD 24(2) - Special issue dedicated to RV'01
ENTCS 55(2) - Proceedings of RV'01

Service

Program chair or co-chair

AMAST'08, WRLA'08, FATES/RV'06, RV'04, RV'02, RV'01

Steering committee member

RV'09, RV'08, RV'05, RV'04, RV'03

Program committee member

2009: PPDP'09, CALCO'09, SOS'09, RV'09, FOSSACS'09, ICDCN'09

2008: AMAST'08, FMOODS'08, RV'08, WRLA'08, WADT'08, PADTAD'08, SOS'08, CAGSD'08

2007: REM'07, SOS'07, CALCO'07, PADTAD'07, FMOODS'07, RV'07

2006: ICCP'06 (the SRV'06 track), FATES/RV'06, ICCGI'06, PADTAD'06, LOPSTR'06, WRLA'06

2005-2001: IBM Verification Conference 2005, RV'05, CMCS'04, WRLA'04, CMCS'03, RV'02, RV'01.

Organizer or co-organizer

CALCO'09 Tool Session, AMAST'08, WRLA'08, CALCO'07 Tool Session, FATES/RV'06, WRLA'06 Rewriting Competition, RV'04, RV'02, RV'01

Moderator or co-moderator of discussion lists

Runtime Verification

Formal Methods (open only to UIUC students and staff)

Programming Languages (open only to UIUC students and staff)

Formal Systems Laboratory (open only to FSL students, researchers and visitors)

Behavior (this list is currently closed)