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

From FSL
Jump to: navigation, search
Line 31: Line 31:
  
 
'''''Steering committee member'''''
 
'''''Steering committee member'''''
: [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]
+
: [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'''''
 
: 2017: [http://icse2017.gatech.edu/ ICSE'17]
 
: 2017: [http://icse2017.gatech.edu/ ICSE'17]
: 2016: [http://fm2016.cs.ucy.ac.cy/ FM'16], [https://rv2016.imag.fr/ RV'16], [http://www.ase2016.org/ ASE'16], [http://2016.ecoop.org/track/VORTEX-2016 VORTEX'16], [http://www.etaps.org/index.php/2016/tacas TACAS'16]
+
: 2016: [http://fm2016.cs.ucy.ac.cy/ FM'16], [https://rv2016.imag.fr/ RV'16], [http://www.ase2016.org/ ASE'16], [http://2016.ecoop.org/track/VORTEX-2016 VORTEX'16], [http://www.etaps.org/index.php/2016/tacas TACAS'16]. [https://fmse.info.uaic.ro/events/WRLA2016/ WRLA'16]
 
: 2015: [http://ase2015.unl.edu/ ASE'15], [http://2015.splashcon.org/track/oopsla OOPSLA'15], [http://rv2015.conf.tuwien.ac.at/ RV'15], [http://i-cav.org/2015/ CAV'15], [http://fm2015.ifi.uio.no/ FM'15], [http://events.cs.bham.ac.uk/mfps31/ MFPS'15], [http://nasaformalmethods.org/ NFM'15], [http://www.aosd.net/2015/mvtrack MV'15]
 
: 2015: [http://ase2015.unl.edu/ ASE'15], [http://2015.splashcon.org/track/oopsla OOPSLA'15], [http://rv2015.conf.tuwien.ac.at/ RV'15], [http://i-cav.org/2015/ CAV'15], [http://fm2015.ifi.uio.no/ FM'15], [http://events.cs.bham.ac.uk/mfps31/ MFPS'15], [http://nasaformalmethods.org/ NFM'15], [http://www.aosd.net/2015/mvtrack MV'15]
 
: 2014: [http://program-transformation.org/GPCE14/WebHome GPCE'14], [http://vsl2014.at/meetings/HCVS-index.html HCVS'14], [http://www.cyprusconferences.org/tcs2014/index.php TCS'14], [http://rv2014.imag.fr RV'14], [http://fse22.gatech.edu FSE'14], [http://fmi.unibuc.ro/ictac2014/ ICTAC'14], [http://users.dsic.upv.es/workshops/wrla2014/ WRLA'14], [http://www.coalg.org/cmcs14/ CMCS'14], [http://conferences.inf.ed.ac.uk/pldi2014/ PLDI'14] (ERC), [http://www.etaps.org/2014/fossacs FOSSACS'14]
 
: 2014: [http://program-transformation.org/GPCE14/WebHome GPCE'14], [http://vsl2014.at/meetings/HCVS-index.html HCVS'14], [http://www.cyprusconferences.org/tcs2014/index.php TCS'14], [http://rv2014.imag.fr RV'14], [http://fse22.gatech.edu FSE'14], [http://fmi.unibuc.ro/ictac2014/ ICTAC'14], [http://users.dsic.upv.es/workshops/wrla2014/ WRLA'14], [http://www.coalg.org/cmcs14/ CMCS'14], [http://conferences.inf.ed.ac.uk/pldi2014/ PLDI'14] (ERC), [http://www.etaps.org/2014/fossacs FOSSACS'14]

Revision as of 18:32, 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

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

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