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

From FSL
Jump to: navigation, search
Line 26: Line 26:
  
 
{{Header | Service}}
 
{{Header | Service}}
 +
 +
'''''General chair'''''
 +
: ASE'17
  
 
'''''Program chair or co-chair'''''
 
'''''Program chair or co-chair'''''
Line 31: Line 34:
  
 
'''''Steering committee member'''''
 
'''''Steering committee member'''''
: [http://cs.swan.ac.uk/wadt16/ WADT'16], [https://fmse.info.uaic.ro/events/WRLA2016/ WRLA'16], [http://discotec2015.inria.fr/ FORTE'15], [http://www.discotec.org/calls/forte-2014-call-for-papers FORTE'14], [http://wadt2014.cs.ovgu.de/ WADT'14], [http://users.dsic.upv.es/workshops/wrla2014/ WRLA'14], [http://rv2013.gforge.inria.fr/ RV'13], [http://forte13.sosy-lab.org/ FORTE/FMOODS'13], [http://rv2012.ku.edu.tr/ RV'12], [http://maude.sip.ucm.es/wadt2012/ WADT'12], [http://wrla2012.lcc.uma.es/ WRLA'12], [http://rv2011.eecs.berkeley.edu/Home.html RV'11], [http://k-framework.org/K11/ K'11], [http://wrla10.ifi.uio.no/ WRLA'10], [http://www-rv2009.imag.fr/ RV'09], [http://rv08.in.tum.de RV'08], [http://react.cs.uni-sb.de/rv2005 RV'05], [http://www.runtime-verification.org/rv2004 RV'04], [http://www.cis.upenn.edu/group/rv2003 RV'03]
+
: CALCO'17, [http://cs.swan.ac.uk/wadt16/ WADT'16], [https://fmse.info.uaic.ro/events/WRLA2016/ WRLA'16], [http://discotec2015.inria.fr/ FORTE'15], [http://www.discotec.org/calls/forte-2014-call-for-papers FORTE'14], [http://wadt2014.cs.ovgu.de/ WADT'14], [http://users.dsic.upv.es/workshops/wrla2014/ WRLA'14], [http://rv2013.gforge.inria.fr/ RV'13], [http://forte13.sosy-lab.org/ FORTE/FMOODS'13], [http://rv2012.ku.edu.tr/ RV'12], [http://maude.sip.ucm.es/wadt2012/ WADT'12], [http://wrla2012.lcc.uma.es/ WRLA'12], [http://rv2011.eecs.berkeley.edu/Home.html RV'11], [http://k-framework.org/K11/ K'11], [http://wrla10.ifi.uio.no/ WRLA'10], [http://www-rv2009.imag.fr/ RV'09], [http://rv08.in.tum.de RV'08], [http://react.cs.uni-sb.de/rv2005 RV'05], [http://www.runtime-verification.org/rv2004 RV'04], [http://www.cis.upenn.edu/group/rv2003 RV'03]
  
 
'''''Program committee member'''''
 
'''''Program committee member'''''

Revision as of 18:37, 17 March 2016

(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, WADT'16, WRLA'16, 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
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