Difference between revisions of "Grigore Rosu - Editing and Service"

From FSL
Jump to: navigation, search
Line 28: Line 28:
  
 
'''''General chair'''''
 
'''''General chair'''''
: ASE'17
+
: [http://ase-conferences.org/ase/past/ase2017/ ASE'17]
  
 
'''''Program chair or co-chair'''''
 
'''''Program chair or co-chair'''''

Revision as of 21:44, 21 June 2019

(back to Grigore Rosu's page)


Editing

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


Service

General chair

ASE'17

Program chair or co-chair

FMOODS&FORTE'12, RV'10, AMAST'08, WRLA'08, FATES/RV'06, RV'04, RV'02, RV'01

Steering committee member

CALCO'17, RV'16, WADT'16, WRLA'16, RV'15, FORTE'15, FORTE'14, WADT'14, WRLA'14, RV'13, FORTE/FMOODS'13, RV'12, WADT'12, WRLA'12, RV'11, K'11, WRLA'10, RV'09, RV'08, RV'05, RV'04, RV'03

Program committee member

2017: ICSE'17, HSCC'17
2016: FM'16, RV'16, ASE'16, VORTEX'16, TACAS'16. WRLA'16
2015: ASE'15, OOPSLA'15, RV'15, CAV'15, FM'15, MFPS'15, NFM'15, MV'15
2014: GPCE'14, HCVS'14, TCS'14, RV'14, FSE'14, ICTAC'14, WRLA'14, CMCS'14, PLDI'14 (ERC), FOSSACS'14
2013: LPAR'13, ASE'13, RV'13, PLAS'13
2012: WODA'12, PADTAD'12, MFCS'12, ASE'12, FSE'12, FMOODS&FORTE'12, IJCAR'12, RTA'12, TOOLS'12, CMCS'12, WRLA'12, LPAR'12
2011: RV'11, ASE'11, PLDI'11 (ERC), FM'11, MFPS'11, RTA'11, NFM'11
2010: AMAST'10, WADT'10
2009: PPDP'09, CALCO'09, SOS'09, PADTAD'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

Summer School on Language Frameworks 2012, 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

K User List
K Developers List (open only to K developers)
MOP (open for subscription only to FSL people working on runtime verification)
Runtime Verification (public, large list)
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)
Personal tools
Namespaces

Variants
Actions
Navigation