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

From FSL
Jump to: navigation, search
 
(5 intermediate revisions by one user not shown)
Line 34: Line 34:
  
 
'''''Steering committee member'''''
 
'''''Steering committee member'''''
: CALCO'17, [https://rv2016.imag.fr/ RV'16], [http://cs.swan.ac.uk/wadt16/ WADT'16], [https://fmse.info.uaic.ro/events/WRLA2016/ WRLA'16], [http://rv2015.conf.tuwien.ac.at/ RV'15], [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]
+
: [ASE'20], WRLA'20, RV'20, [https://2019.ase-conferences.org/home ASE'19], [https://www.react.uni-saarland.de/rv2019/index.html RV'19], [http://www.ase2018.com/ ASE'18], [https://rv2018.isp.uni-luebeck.de/ RV'18], [http://wadt18.cs.rhul.ac.uk/ WADT'18], [https://project.inria.fr/wrla18/ WRLA'18], [https://coalg.org/mfps-calco2017/ CALCO'17], [https://rv2016.imag.fr/ RV'16], [http://cs.swan.ac.uk/wadt16/ WADT'16], [https://fmse.info.uaic.ro/events/WRLA2016/ WRLA'16], [http://rv2015.conf.tuwien.ac.at/ RV'15], [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'''''
 
: 2018: [DATE'18], [https://www.cs.le.ac.uk/events/fscd2018/ FSCD'18], [https://rv2018.isp.uni-luebeck.de/ RV'18], [https://www.win.tue.nl/~evink/FM2018/industry-day/index.html FM'18 Industry Day], [https://www.win.tue.nl/~evink/FM2018/index.html FM'18], [https://popl18.sigplan.org/track/PADL-2018 PADL'18], [https://pldi18.sigplan.org PLDI'18], [http://www.cs.le.ac.uk/events/fscd2018/ FSCD'18], [https://project.inria.fr/wrla18/ WRLA'18], [http://popl18.sigplan.org/home POPL'18]
 
: 2018: [DATE'18], [https://www.cs.le.ac.uk/events/fscd2018/ FSCD'18], [https://rv2018.isp.uni-luebeck.de/ RV'18], [https://www.win.tue.nl/~evink/FM2018/industry-day/index.html FM'18 Industry Day], [https://www.win.tue.nl/~evink/FM2018/index.html FM'18], [https://popl18.sigplan.org/track/PADL-2018 PADL'18], [https://pldi18.sigplan.org PLDI'18], [http://www.cs.le.ac.uk/events/fscd2018/ FSCD'18], [https://project.inria.fr/wrla18/ WRLA'18], [http://popl18.sigplan.org/home POPL'18]
: 2017: [http://www.cs.ox.ac.uk/conferences/fscd2017/ FSCD'17], [http://2017.ecoop.org/home ECOOP'17], [http://coalg.org/mfps-calco2017/cfp-calco.html CALCO'17], [http://icse2017.gatech.edu/ ICSE'17], [http://hscc2017.ece.illinois.edu/ HSCC'17]
+
: 2017: [http://rv2017.cs.manchester.ac.uk/ RV'17], [http://www.cs.ox.ac.uk/conferences/fscd2017/ FSCD'17], [http://2017.ecoop.org/home ECOOP'17], [http://coalg.org/mfps-calco2017/cfp-calco.html CALCO'17], [http://icse2017.gatech.edu/ ICSE'17], [http://hscc2017.ece.illinois.edu/ HSCC'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]. [https://fmse.info.uaic.ro/events/WRLA2016/ WRLA'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]

Latest revision as of 14:11, 26 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

[ASE'20], WRLA'20, RV'20, ASE'19, RV'19, ASE'18, RV'18, WADT'18, WRLA'18, 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

2018: [DATE'18], FSCD'18, RV'18, FM'18 Industry Day, FM'18, PADL'18, PLDI'18, FSCD'18, WRLA'18, POPL'18
2017: RV'17, FSCD'17, ECOOP'17, CALCO'17, 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