Difference between revisions of "Mohammad Mousavi's Conferences"
From CERES
| (51 intermediate revisions by one user not shown) | |||
| Line 2: | Line 2: | ||
Please consider submitting to / attending the following events: | Please consider submitting to / attending the following events: | ||
| + | * [http://www.fmeurope.org FM 2018] (PC Member) | ||
| + | * [https://vamos2018.wordpress.com/ VaMoS 2018] (PC Member) | ||
| + | * [http://www.concurrency-theory.org/events/workshops/trends TRENDS 2017] (Co-Organizer with Ilaria Castellani) | ||
| + | * [https://www.concur2017.tu-berlin.de/express_sos.html SOS/Express 2017] (Invited Speaker) | ||
| + | * [http://opct2017.famaf.unc.edu.ar/ OPCT 2017] (Co-Organizer with Pedro D'Argenio, Ilaria Castellani, and Ana Sokolova) | ||
| + | * [http://v2cps17.mpi-sws.org/ V2CPS 2017] (PC Member) | ||
| + | * [http://foclasa.lcc.uma.es/ FOCLASA 2017] (PC Member) | ||
| + | * [http://dhs.gforge.inria.fr/ DHS 2017] (PC Member) | ||
| + | * [https://sites.google.com/asu.edu/mt-cps-2017 MT-CPS 2017] (PC Member) | ||
| + | * HLDVT 2017 (PC Member) | ||
| + | * [http://paris.utdallas.edu/qrs17 QRS 2017] (PC Member) | ||
| + | * [http://ictt.xidian.edu.cn/icfem2017/ ICFEM 2017] (PC Member) | ||
| + | * [http://fit.uet.vnu.edu.vn/ictac2017/ ICTAC 2017] (PC Member) | ||
| + | * [http://ttcs.ir TTCS 2017] (PC Co-Chair) | ||
| + | |||
| + | |||
| + | =Past Events= | ||
| + | |||
| + | * [http://se.uni-konstanz.de/crest2017/ CREST 2017] (PC Member) | ||
| + | * [http://www.mrtc.mdh.se/ITEQS/2017/ ITEQS 2017] (PC Member) | ||
| + | * [http://fsen.ir/2017/ FSEN 2017] (PC Member) | ||
| + | * [http://antares.sip.ucm.es/svt2017/ ACM SAC SVT 2017] (PC Member) | ||
| + | * [http://nwpt2016.cs.aau.dk/ NWPT 2016] (PC Member) | ||
| + | * [http://events.femto-st.fr/facs2016/en FACS 2016] (PC Member) | ||
| + | * [http://www.hldvt.org/ HLDVT 2016] (PC Member) | ||
| + | * [http://www.cyphy.org/ CyPhy 2016] (PC Co-Chair, with Ch. Berger and R. Wisniewski) | ||
| + | * [http://cc.ee.ntu.edu.tw/~ictac2016 ICTAC 2016] (PC Member) | ||
| + | * [http://icfem2016.xyz/index.html ICFEM 2016] (PC Member) | ||
| + | * [http://www.concur2016.ulaval.ca/ CONCUR 2016] (PC Member) | ||
| + | * [http://tase2016.ecnu.edu.cn/ TASE 2016] (PC Member) | ||
| + | * [[HSST 2016]] (Co-Chair, with Walid Taha) | ||
| + | * [http://www.cs.ox.ac.uk/conferences/VVCPS16/ V<sup>2</sup>CPS 2016] (PC Member) | ||
| + | * [http://icetcs.ru.is/prepost/ PrePost 2016] (PC Member) | ||
| + | * [http://antares.sip.ucm.es/svt16/ ACM SAC-SVT 2016] (PC Member) | ||
| + | * [http://icfem2015.lri.fr/ ICFEM 2015] (PC Member) | ||
| + | * [https://lipn.univ-paris13.fr/for-moves15/ FOR-MOVES 2015] (PC Member) | ||
| + | * [http://icetcs.ru.is/nwpt2015/ NWPT 2015] (PC Member) | ||
| + | * [http://www.concurrency-theory.org/events/workshops/trends TRENDS 2015] (Co-Chair, with Ilaria Castellani) | ||
| + | * [http://www.testdag.nl/index.php/en/ Dutch Testing Day 2015] (Keynote Speaker) | ||
| + | * [http://2015.cyphy.org/ CyPhy 2015] (PC Co-Chair, with Ch. Berger) | ||
| + | * [[ELLIIT Workshop 2015]] (Chair) | ||
| + | * [http://www.math.unipd.it/~crafa/EXPRESSSOS2015/index.html EXPRESS/SOS 2015] (PC Member) | ||
* [http://mafalda.fdi.ucm.es/concur2015/ CONCUR 2015] (Invited Speaker) | * [http://mafalda.fdi.ucm.es/concur2015/ CONCUR 2015] (Invited Speaker) | ||
| − | * [http:// | + | * [http://ttcs.ir/ TTCS 2015] (PC Co-Chair with M.T. Hajiaghayi) |
| − | * [[HSST 2015]] (Co-Chair) | + | * [[HSST 2015]] (Co-Chair, with Walid Taha) |
* [http://icwe2015.webengineering.org/ ICWE 2015] (PC Member) | * [http://icwe2015.webengineering.org/ ICWE 2015] (PC Member) | ||
| − | |||
* [http://fmt.cs.utwente.nl/conferences/sac-svt2015/ ACM SAC - SVT 2015] (PC Member) | * [http://fmt.cs.utwente.nl/conferences/sac-svt2015/ ACM SAC - SVT 2015] (PC Member) | ||
* [http://fsen.ir/2015/ FSEN 2015] (PC Member) | * [http://fsen.ir/2015/ FSEN 2015] (PC Member) | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
* [http://www.icsoc.org/ FOR-MOVES 2014] (PC Member) | * [http://www.icsoc.org/ FOR-MOVES 2014] (PC Member) | ||
| − | * [[TRENDS 2014]] (Co-Chair) | + | * [[TRENDS 2014]] (Co-Chair with Ilaria Castellani) |
* [http://icfem2014.uni.lu/ ICFEM 2014] (PC Member) | * [http://icfem2014.uni.lu/ ICFEM 2014] (PC Member) | ||
* [[NWPT 2014]] (Co-Chair) | * [[NWPT 2014]] (Co-Chair) | ||
Latest revision as of 22:53, 18 June 2017
Future Events
Please consider submitting to / attending the following events:
- FM 2018 (PC Member)
- VaMoS 2018 (PC Member)
- TRENDS 2017 (Co-Organizer with Ilaria Castellani)
- SOS/Express 2017 (Invited Speaker)
- OPCT 2017 (Co-Organizer with Pedro D'Argenio, Ilaria Castellani, and Ana Sokolova)
- V2CPS 2017 (PC Member)
- FOCLASA 2017 (PC Member)
- DHS 2017 (PC Member)
- MT-CPS 2017 (PC Member)
- HLDVT 2017 (PC Member)
- QRS 2017 (PC Member)
- ICFEM 2017 (PC Member)
- ICTAC 2017 (PC Member)
- TTCS 2017 (PC Co-Chair)
Past Events
- CREST 2017 (PC Member)
- ITEQS 2017 (PC Member)
- FSEN 2017 (PC Member)
- ACM SAC SVT 2017 (PC Member)
- NWPT 2016 (PC Member)
- FACS 2016 (PC Member)
- HLDVT 2016 (PC Member)
- CyPhy 2016 (PC Co-Chair, with Ch. Berger and R. Wisniewski)
- ICTAC 2016 (PC Member)
- ICFEM 2016 (PC Member)
- CONCUR 2016 (PC Member)
- TASE 2016 (PC Member)
- HSST 2016 (Co-Chair, with Walid Taha)
- V2CPS 2016 (PC Member)
- PrePost 2016 (PC Member)
- ACM SAC-SVT 2016 (PC Member)
- ICFEM 2015 (PC Member)
- FOR-MOVES 2015 (PC Member)
- NWPT 2015 (PC Member)
- TRENDS 2015 (Co-Chair, with Ilaria Castellani)
- Dutch Testing Day 2015 (Keynote Speaker)
- CyPhy 2015 (PC Co-Chair, with Ch. Berger)
- ELLIIT Workshop 2015 (Chair)
- EXPRESS/SOS 2015 (PC Member)
- CONCUR 2015 (Invited Speaker)
- TTCS 2015 (PC Co-Chair with M.T. Hajiaghayi)
- HSST 2015 (Co-Chair, with Walid Taha)
- ICWE 2015 (PC Member)
- ACM SAC - SVT 2015 (PC Member)
- FSEN 2015 (PC Member)
- FOR-MOVES 2014 (PC Member)
- TRENDS 2014 (Co-Chair with Ilaria Castellani)
- ICFEM 2014 (PC Member)
- NWPT 2014 (Co-Chair)
- ACSD 2014 (PC Member)
- OPCT 2014 (Speaker)
- HSST 2014 (Co-Chair)
- ACM SAC - SVT 2014 (PC Member)
- NWPT 2013 (PC Member)
- TRENDS 2013 and MEALS: Momentum Gathering (Joint Invited Speaker)
- WS25CCC (Speaker)
- HSST 2013 (Co-Chair)
- ACSD 2013 (PC Member)
- FSEN 2013 (PC Member)
- ESSS 2013 (Invited Speaker)
- ACM SAC - SVT 2013 (PC Co-Chair, with Jun Pang)
- HLDVT 2012 (PC Member)
- MFCS 2012 (PC Member)
- FOCLASA 2012 (PC Member)
- CONCUR 2012 (PC Member)
- ICE 2012 (PC Member)
- ACSD 2012 (PC Member)
- Eindhoven CS Colloquium (Organizer from 2008 to 2012).
- ACM SAC - SVT 2012 (PC Co-Chair, with Jun Pang)
- HLDVT 2011 (PC Member)
- FOCLASA 2011 (PC Co-Chair, with Antonio Ravara )
- PACO 2011 (PC Co-Chair, with Luca Aceto)
- ASCD 2011 (PC Member)
- FSEN 2011 (PC Member)
- ACM SAC 2011 - SVT Track and SE Track (PC Member)
- FOCLASA 2010 (PC Co-Chair, with Gwen Salaun)
- SOS 2010 (Invited Speaker)
- Coordination 2010 (PC Member)
- ACSD 2010 (PC Member)
- ACM SAC - Software Verification and Testing Track 2010 (PC Member)
- SYANCO 2010 (Invited Speaker)
- Dutch Testing Day 2009 (PC Member)
- FM 2009 (Doctoral Symposium Co-Chair, with Emil Sekerinski)
- ACSD 2009 (PC Member)
- FSEN 2009 (PC Member)
- ACM SAC - SVT Track 2009 (PC Member) and SE Track 2009 (PC Member)
- MFPS XXV (PC Member)
- ICALP 2008 (Workshops co-chair)
- ICE 2008 (PC Member)
- SOS 2007 (PC Member)
- FSEN 2007 (PC Member)
- SOS 2006 (PC Member)
