Groups
Groups
Sign in
Groups
Groups
Supercompilation and Related Techniques
Conversations
About
Send feedback
Help
Supercompilation and Related Techniques
Contact owners and managers
1–30 of 66
Mark all as read
Report group
0 selected
Andrei Klimov
12/15/20
Second call for papers. VPT 20-21 - International Workshops on Verification and Program Transformation
*************************************************************** SECOND CALL FOR PAPERS Ninth
unread,
Second call for papers. VPT 20-21 - International Workshops on Verification and Program Transformation
*************************************************************** SECOND CALL FOR PAPERS Ninth
12/15/20
Andrei Klimov
1/23/20
VPT 2020 - regular paper submission deadline has been extended. Eighth International Workshop on Verification and Program Transformation devoted to Prof. Alberto Pettorossi
---------- Forwarded message --------- From: Andrei P. Nemytykh Date: Wed, Jan 22, 2020 at 2:55 PM
unread,
VPT 2020 - regular paper submission deadline has been extended. Eighth International Workshop on Verification and Program Transformation devoted to Prof. Alberto Pettorossi
---------- Forwarded message --------- From: Andrei P. Nemytykh Date: Wed, Jan 22, 2020 at 2:55 PM
1/23/20
Andrei Klimov
1/3/20
Third call for papers. VPT 2020 - Eighth International Workshop on Verification and Program Transformation devoted to Prof. Alberto Pettorossi
---------- Forwarded message --------- From: Andrei P. Nemytykh Date: Fri, Jan 3, 2020 at 1:43 PM
unread,
Third call for papers. VPT 2020 - Eighth International Workshop on Verification and Program Transformation devoted to Prof. Alberto Pettorossi
---------- Forwarded message --------- From: Andrei P. Nemytykh Date: Fri, Jan 3, 2020 at 1:43 PM
1/3/20
Andrei Klimov
2/14/19
Velentin's Day
Dear colleagues and friends, Today is St. Valentine's Day and Valentin Turchin's birthday!
unread,
Velentin's Day
Dear colleagues and friends, Today is St. Valentine's Day and Valentin Turchin's birthday!
2/14/19
Andrei Klimov
2/9/19
TOOLS 50+1: Call for Papers
Dear colleagues, I'm glad to spread information about an international conference to be held in
unread,
TOOLS 50+1: Call for Papers
Dear colleagues, I'm glad to spread information about an international conference to be held in
2/9/19
Andrei Klimov
2
2/9/19
PSI'19 Preliminary Call for Papers
Dear colleagues, The submission deadline to the PSI Conference to be held in Akademgorodok,
unread,
PSI'19 Preliminary Call for Papers
Dear colleagues, The submission deadline to the PSI Conference to be held in Akademgorodok,
2/9/19
ab...@botik.ru
12/31/18
С Новым 2019 годом и Рождеством Христовым!
Дорогие друзья, коллеги, партнеры! С Новым, 2019, годом и Рождеством Христовым! Желаю Вам удачи,
unread,
С Новым 2019 годом и Рождеством Христовым!
Дорогие друзья, коллеги, партнеры! С Новым, 2019, годом и Рождеством Христовым! Желаю Вам удачи,
12/31/18
Andrei Klimov
12/28/18
Third call for papers. VPT 2019 - Seventh International Workshop on Verification and Program Transformation
---------- Forwarded message --------- From: Andrei P. Nemytykh <nemy...@math.botik.ru> Date:
unread,
Third call for papers. VPT 2019 - Seventh International Workshop on Verification and Program Transformation
---------- Forwarded message --------- From: Andrei P. Nemytykh <nemy...@math.botik.ru> Date:
12/28/18
Julia Belyakova
,
Andrei Klimov
4
6/12/18
Fwd: Meta'18 Workshop - Call for Papers
On Tue, Jun 12, 2018 at 4:43 PM, Julia Belyakova <jul...@gmail.com> wrote: Здравствуйте,
unread,
Fwd: Meta'18 Workshop - Call for Papers
On Tue, Jun 12, 2018 at 4:43 PM, Julia Belyakova <jul...@gmail.com> wrote: Здравствуйте,
6/12/18
Andrei Klimov
3/16/18
Fwd: GPCE 2018 Call for Papers: Boston, MA, USA, Nov 5,6 ...
---------- Forwarded message ---------- From: <eapls-...@eapls.org> Date: Thu, Mar 8, 2018
unread,
Fwd: GPCE 2018 Call for Papers: Boston, MA, USA, Nov 5,6 ...
---------- Forwarded message ---------- From: <eapls-...@eapls.org> Date: Thu, Mar 8, 2018
3/16/18
Andrei Klimov
2/14/18
February 14 - Valentin Turchin's birthday
Dear friends and colleagues, Today is the birthday of Valentin Turchin (1931-2010). We are happy that
unread,
February 14 - Valentin Turchin's birthday
Dear friends and colleagues, Today is the birthday of Valentin Turchin (1931-2010). We are happy that
2/14/18
Andrei Klimov
1/8/18
FINAL CALL for papers: Sixth International Workshop on Verification and Program Transformation (VPT 2018)
---------- Forwarded message ---------- From: John Patrick Gallagher <j...@ruc.dk> Date: Mon,
unread,
FINAL CALL for papers: Sixth International Workshop on Verification and Program Transformation (VPT 2018)
---------- Forwarded message ---------- From: John Patrick Gallagher <j...@ruc.dk> Date: Mon,
1/8/18
ab...@botik.ru
12/31/17
С Новым 2018 годом и Рождеством Христовым!
Дорогие друзья, коллеги, партнеры! Поздравляю Вас с Новым, 2018, годом и Рождеством Христовым! Желаю
unread,
С Новым 2018 годом и Рождеством Христовым!
Дорогие друзья, коллеги, партнеры! Поздравляю Вас с Новым, 2018, годом и Рождеством Христовым! Желаю
12/31/17
Andrei Klimov
11/25/17
Second call for papers. VPT 2018 - Sixth International Workshop on Verification and Program Transformation
---------- Forwarded message ---------- From: John Patrick Gallagher <j...@ruc.dk> Date: Fri,
unread,
Second call for papers. VPT 2018 - Sixth International Workshop on Verification and Program Transformation
---------- Forwarded message ---------- From: John Patrick Gallagher <j...@ruc.dk> Date: Fri,
11/25/17
Andrei Klimov
10/6/17
FIRST call for papers. VPT 2018 - Sixth International Workshop on Verification and Program Transformation
---------- Forwarded message ---------- From: John Patrick Gallagher <j...@ruc.dk> Date: Fri,
unread,
FIRST call for papers. VPT 2018 - Sixth International Workshop on Verification and Program Transformation
---------- Forwarded message ---------- From: John Patrick Gallagher <j...@ruc.dk> Date: Fri,
10/6/17
Andrei Klimov
9/28/17
Fwd: PEPM 2018 Final Call for Papers
PEPM 2018 Final Call for Papers by Hsiang-Shang Ko on September 28 | View on site | Share The
unread,
Fwd: PEPM 2018 Final Call for Papers
PEPM 2018 Final Call for Papers by Hsiang-Shang Ko on September 28 | View on site | Share The
9/28/17
Andrei Klimov
7/30/17
[PEPM 2018] First CFP
-- CALL FOR PAPERS -- Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM) 2018 ===========
unread,
[PEPM 2018] First CFP
-- CALL FOR PAPERS -- Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM) 2018 ===========
7/30/17
Andrei Klimov
8/10/16
PSI 2017 has been announced!
See http://psi.ispras.ru/en/ Andrei Ershov International Conference "Perspectives of System
unread,
PSI 2017 has been announced!
See http://psi.ispras.ru/en/ Andrei Ershov International Conference "Perspectives of System
8/10/16
Andrei Klimov
6/24/16
META 2016 program
Dear colleagues, The program of the Fifth International Valentin Turchin Workshop on Metacomputation
unread,
META 2016 program
Dear colleagues, The program of the Fifth International Valentin Turchin Workshop on Metacomputation
6/24/16
Andrei Klimov
6/17/16
META 2016 papers and talks; call for participation
Dear colleagues, You can see the list of accepted papers and talks at the Fifth International
unread,
META 2016 papers and talks; call for participation
Dear colleagues, You can see the list of accepted papers and talks at the Fifth International
6/17/16
Andrei Klimov
6/15/16
Fwd: [Easst-members] CFP: 1st Workshop on Meta-Programming Techniques and Reflection (META) with SPLASH 2016
Funny: One more META 2016 workshop. :-) Even "curiouser and curiouser" is that my
unread,
Fwd: [Easst-members] CFP: 1st Workshop on Meta-Programming Techniques and Reflection (META) with SPLASH 2016
Funny: One more META 2016 workshop. :-) Even "curiouser and curiouser" is that my
6/15/16
Andrei Klimov
5/28/16
Fwd: LOPSTR 2016 call for papers
This symposium may be of interest to the metacomputation community. Best regards , Andrei
unread,
Fwd: LOPSTR 2016 call for papers
This symposium may be of interest to the metacomputation community. Best regards , Andrei
5/28/16
Andrei Klimov
4/11/16
NEW DEADLINE 15th of April - 5th Valentin Turchin Workshop on Metacomputation META 2016 call for papers
CALL FOR PAPERS META 2016 Fifth International Valentin Turchin Workshop on Metacomputation Pereslavl-
unread,
NEW DEADLINE 15th of April - 5th Valentin Turchin Workshop on Metacomputation META 2016 call for papers
CALL FOR PAPERS META 2016 Fifth International Valentin Turchin Workshop on Metacomputation Pereslavl-
4/11/16
Andrei Klimov
3/16/16
5th Valentin Turchin Workshop on Metacomputation META 2016 call for papers
CALL FOR PAPERS META 2016 Fifth International Valentin Turchin Workshop on Metacomputation Pereslavl-
unread,
5th Valentin Turchin Workshop on Metacomputation META 2016 call for papers
CALL FOR PAPERS META 2016 Fifth International Valentin Turchin Workshop on Metacomputation Pereslavl-
3/16/16
Andrei Klimov
1/6/16
Third Call for Papers: VPT 2016 Fourth International Workshop on Verification and Program Transformation
---------- Forwarded message ---------- From: Geoff Hamilton <hami...@computing.dcu.ie> Date:
unread,
Third Call for Papers: VPT 2016 Fourth International Workshop on Verification and Program Transformation
---------- Forwarded message ---------- From: Geoff Hamilton <hami...@computing.dcu.ie> Date:
1/6/16
ab...@botik.ru
12/31/15
С Новым 2016 годом и Рождеством Христовым!
Дорогие друзья, коллеги, партнеры! Примите мои поздравления с Новым 2016 годом и Рождеством Христовым
unread,
С Новым 2016 годом и Рождеством Христовым!
Дорогие друзья, коллеги, партнеры! Примите мои поздравления с Новым 2016 годом и Рождеством Христовым
12/31/15
Alexander Slesarenko
2
5/14/15
Fwd: FHPC 2015
Dear all, This is a quick reminder that the paper submission deadline for FHPC'15 is approaching.
unread,
Fwd: FHPC 2015
Dear all, This is a quick reminder that the paper submission deadline for FHPC'15 is approaching.
5/14/15
Andrei Klimov
4/30/15
PSSV'15 CfP: Sixth Workshop on Program Semantics, Specification and Verification: Theory and Applications
Call for Papers The Sixth Workshop on Program Semantics, Specification and Verification: Theory and
unread,
PSSV'15 CfP: Sixth Workshop on Program Semantics, Specification and Verification: Theory and Applications
Call for Papers The Sixth Workshop on Program Semantics, Specification and Verification: Theory and
4/30/15
Andrei Klimov
7/7/14
Fwd: PEPM 2015: Call for papers
Hi, I've just received this CfP to PEPM'15 from Kenichi. He asks to distribute it in our
unread,
Fwd: PEPM 2015: Call for papers
Hi, I've just received this CfP to PEPM'15 from Kenichi. He asks to distribute it in our
7/7/14
Andrei Klimov
6/27/14
Congratulations to Neil Jones with ACM Programming Languages Achievement Award 2014
Dear Neil, On behalf of the whole supercompilation community, we heartily congratulate you with
unread,
Congratulations to Neil Jones with ACM Programming Languages Achievement Award 2014
Dear Neil, On behalf of the whole supercompilation community, we heartily congratulate you with
6/27/14