|
cambridge.org
|
Journal of Functional Programming: Editorial Board Member
(2022-)
|
|
sciencedirect.com
|
Journal of Logical and Algebraic Methods in Programming: Editorial Board Member
(2023-)
|
|
journals.elsevier.com
|
Science
of Computer Programming
|
|
oxfordjournals.org
|
National Science Review (NSR, Oxford Journals)
|
|
springer.com
|
SCIENCE CHINA Information Sciences (Springer)
|
|
ohmsha.co.jp
|
New Generation
Computing
|
|
computer.org
|
IEEE
Transactions on Software Engineering
|
|
jssst.or.jp
|
コンピュータソフトウエア
|
|
ipsj.or.jp
|
情報処理学会会誌
|
|
ipsj.or.jp
|
Information and Media Technology
|
|
springer.com
|
Frontiers of Computer Science in China
|
|
danae.uni-muenster.de
|
Journal of Functional and Logic Programming
|
|
cs.uu.nl
|
IFIP Working Group 2.1
|
|
ifip.org
|
IFIP TC2 (Software: Theory and Practice)
|
|
aafos.org
|
Asian Association for Foundation of
Software
|
|
icfpconference.org
|
ACM International Conference on Functional Programming (ICFP)
|
|
haskell.org
|
ACM Haskell Symposium (Haskell)
|
|
bx-community.wikidot.com
|
Bidirectional Transformation
|
|
kb.ecei.tohoku.ac.jp
|
日本ソフトウェア
科学会 プログラミング論研究会
|
|
kb.ecei.tohoku.ac.jp
|
日本ソフトウェア
科学会 プログラミング論研究会
|
|
ccf.org.cn
|
China National Computer Congress
|
|
conf.researchr.org
|
ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems
|
|
popl20.sigplan.org
|
2020 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
|
|
soict.hust.edu.vn
|
Tenth International Symposium on Information and Communication Technology
|
|
nii.ac.jp
|
NII Shonan Meetings
|
|
nii.ac.jp
|
NII Shonan Meetings
|
|
soict.hust.edu.vn
|
Eighth International Symposium on Information and Communication Technology
|
|
iceccs.github.io
|
22nd International Conference on Engineering of Complex Computer Systems
|
|
swu-rise.net.cn
|
6th Asian Workshop of Advanced Software Engineering
|
|
sei.pku.edu.cn
|
4th Asian Workshop on Advanced Software Engineering
|
|
comp.nus.edu.sg
|
The Eighteenth IEEE International Conference on Engineering of Complex Computer Systems
|
|
sites.google.com
|
2nd NII-PKU International Joint Workshop on Advanced Software Engineering
|
|
icfpconference.org
|
16th
ACM International Conference on Functional Programming
|
|
dagstuhl.de
|
Dagstuhl
seminar on bidirectional transformations (bx)
|
|
ipl.t.u-tokyo.ac.jp
|
4th DIKU-IST Joint Workshop on Foundations of Software
|
|
sei.pku.edu.cn
|
1st PKU-NII Joint Workshop on Advanced Software Engineering
|
|
sea.uni-linz.ac.at
|
3rd Workshop on Living with Inconsistencies in Software
Development
|
|
biglab.org
|
4th Workshop on
Bidirectional Transformation in ABC
|
|
events.grace-center.jp
|
GRACE
International Symposium on Advanced Software Engineering
2010
|
|
ropas.snu.ac.kr
|
The Seventh Asian
Symposium on Programming Languages and Systems
|
|
research.nii.ac.jp
|
Sixth Asian
Workshop on Foundations of Software
|
|
grace.gsdlab.org
|
GRACE
International Meeting on Bidirectional Transformations
|
|
ipl.t.u-tokyo.ac.jp
|
Workshop
on Parallelism Oblivious Programming
|
|
ipl.t.u-tokyo.ac.jp
|
日本ソフト
ウエア科学会第23回大会
|
|
ipl.t.u-tokyo.ac.jp
|
The Second
DIKU-IST Joint Workshop on Foundations of Software
|
|
diku.dk
|
The First
DIKU-IST Joint Workshop on Foundations of Software
|
|
psdlab.org
|
The Fourth Workshop on Programmable Structured Documents
|
|
psdlab.org
|
The Third Workshop on Programmable Structured Documents
|
|
psdlab.org
|
The Second Workshop on Programmable Structured Documents
|
|
ipl.t.u-tokyo.ac.jp
|
第一回プログラミングおよびプログラミング言語サマースクール
|
|
ipl.t.u-tokyo.ac.jp
|
Workshop on Robust Software Construction
|
|
cs.sjtu.edu.cn
|
The Third Asian Workshop on Programming Languages and Systems
|
|
ipl.t.u-tokyo.ac.jp
|
Sixth International Symposium on Functional and Logic Programming
|
|
ueda.info.waseda.ac.jp
|
Fifth International Symposium on Functional and Logic Programming
|
|
ipl.t.u-tokyo.ac.jp
|
The 5th Program Transformation Workshop
|
|
ipl.t.u-tokyo.ac.jp
|
The 3rd Program Transformation Workshop
|
|
ipl.t.u-tokyo.ac.jp
|
第1回プログラミングおよびプログラミング言語ワークショップ
|
|
tase2024.github.io
|
TASE 2024
|
|
ww25.tfp2021.org
|
TFP 2021
|
|
formal-analysis.com
|
APSEC 2020
|
|
formal-analysis.com
|
FROM 2020
|
|
formal-analysis.com
|
ICFEM 2018
|
|
fmac2018.ecnu.edu.cn
|
FMAC 2018
|
|
sqlab.jp
|
FLOPS 2018
|
|
grace-center.jp
|
GRACE 2017
|
|
kse2017.dhsphue.edu.vn
|
KSE 2017
|
|
ieee-scam.org
|
SCAM 2017
|
|
cs.ox.ac.uk
|
Summer School on Bidirectional Transformations
|
|
math.nagoya-u.ac.jp
|
12th Asian Symposium on Programming Languages and Systems
|
|
comp.nus.edu.sg
|
19th International Symposium on Formal Methods
|
|
sei.pku.edu.cn
|
3rd International Symposium on High Confidence Software
|
|
comp.nus.edu.sg
|
3rd Asian Workshop on Advanced Software Engineering
|
|
program-transformation.org
|
ACM SIGPLAN
2013 Workshop on Partial Evaluation and Program Manipulation
|
|
sei.pku.edu.cn
|
2nd International Symposium on High Confidence Software
|
|
cs.gunma-u.ac.jp
|
6th International Workshop
on Higher-Order Rewriting
|
|
sei.pku.edu.cn
|
International
Symposium on High Confidence Software
|
|
coltech.vnu.edu.vn
|
Japan-Vietnam Workshop on Software Engineering 2010
|
|
basics.sjtu.edu.cn
|
BASICS Summer School on Types and Programming Languages
|
|
frederic.loulergue.eu
|
Fourth International Workshop on High-level Parallel Programming
and Applications
|
|
202.38.193.240
|
National Software and Application Conferene
|
|
cc4cm.org
|
Fifth
Asian Workshop on Foundations of Software
|
|
wiki.di.uminho.pt
|
Summer School on
Generative and Transformational Techniques in Software Engineering
|
|
pvp.cs.tu-berlin.de
|
3rd International Workshop on Constructive Methods for Parallel
Programming
|
|
ipsj.or.jp
|
第83回アルゴリズム研究会
|
|
jaist.ac.jp
|
International Symposium on Principles of Software Evolution
|
|
conf.researchr.org
|
53rd ACM SIGPLAN Symposium on Principles of Programming Languages
|
|
2025.splashcon.org
|
International Conference on Object-oriented Programming, Systems, Languages, and Applications
|
|
popl25.sigplan.org
|
The 2025 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
|
|
trendsfp.github.io
|
26th International Symposium on Trends in Functional Programming
|
|
icfp23.sigplan.org
|
28th ACM SIGPLAN International Conference on Functional Programming
|
|
popl23.sigplan.org
|
5oth ACM SIGPLAN Symposium on Principles of Programming Languages
|
|
conf.researchr.org
|
20th Asian Symposium on Programming Languages and Systems
|
|
2022.splashcon.org
|
International Conference on Software Language Engineering
|
|
conf.researchr.org
|
17th Symposium on Software Engineering for Adaptive and Self-Managing Systems
|
|
conf.researchr.org
|
16th International Symposium on Functional and Logic Programming
|
|
conf.researchr.org
|
15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
|
|
ipl.riec.tohoku.ac.jp
|
15th International Symposium on Functional and Logic Programming
|
|
macs.hw.ac.uk
|
21st International Symposium on Principles and Practice of Declarative Programming
|
|
formalmethods2019.inesctec.pt
|
23rd symposium on Formal Methods
|
|
formalmethods2019.inesctec.pt
|
13th International Conference on
Mathematics of Program Construction
|
