Keisuke Nakano's Web Site - Activities Diff

  • Added parts are displayed like this.
  • Deleted parts are displayed like this.

* [[FLOPS 2020|https://www.ipl.riec.tohoku.ac.jp/FLOPS2020/]] (PC co-chair)
* [[WPTE 2020|http://maude.ucm.es/wpte20/]] (PC member)
* [[EDBT 2019 (Demo track)|https://diku-dk.github.io/edbticdt2020/]] (PC member)
* [[PPDP 2019|http://ppdp2019.macs.hw.ac.uk/]] (PC member)
* [[SFDI 2019|http://www.prg.nii.ac.jp/projects/biscuits/second-workshop/]] (PC member)
* [[TPP 2018|https://ksk.github.io/tpp2018/]] (Organizer)
* [[PPDP 2018|http://ppdp-lopstr-18.cs.uni-frankfurt.de/ppdp18.html]] (PC member)
* [[PPL 2017|https://jssst-ppl.org/workshop/2017/]] (PC member)
* [[JSSST 2016|https://jssst2016.wordpress.com/]] (PC member)
* [[TTATT 2016|http://www.ims.uni-stuttgart.de/events/TTATT2016]] (PC member)
* [[ICFP 2016|http://conf.researchr.org/home/icfp-2016/]] (PC member)
* [[ICFP Programming Contest 2016|http://2016.icfpcontest.org/]] (Chair)
* [[TTATT 2015|http://www.ulb.ac.be//di/ssd/filiot/TTATT2015/]] (PC member)
* [[JSSST 2015|https://jssst2015.wordpress.com/]] (PC member)
* [[OCaml 2014|http://ocaml.org/meetings/ocaml/2014/]] (PC member)
* [[PPL 2014|http://www.fos.kuis.kyoto-u.ac.jp/ppl2014/]] (PC co-chair)
* [[APLAS 2013|http://aplas2013.soic.indiana.edu]] (PC member)
* [[TTATT 2013|http://homepages.inf.ed.ac.uk/smaneth/ttatt2013/]] (PC member)
* [[HART 2013|http://www.imn.htwk-leipzig.de/HART2013/]] (PC member)
* [[PEPM 2013|http://www.program-transformation.org/PEPM13]] (PC member)
* [[PPL 2013|http://www.pllab.riec.tohoku.ac.jp/ppl2013/]] (PC member)
* [[TTATT 2012|http://narayama.naist.jp/~seki/ttatt/]] (PC co-chair)
* [[ML 2011|http://conway.rutgers.edu/ml2011/]] (PC member)
* [[PPL 2009|http://millsmess.cs.uec.ac.jp/ppl2009/]] (General chair)
* [[PPL 2008|http://www.nue.riec.tohoku.ac.jp/ppl2008/]] (PC member)