[TYPES/announce] CFA: Fourth Training School in Symbolic Computation

2008-11-29 Thread Temur Kutsia
). Maple Tutorial. * Sylla Lesseni (Technische Universit�t Berlin, Germany). KANT/KASH Tutorial. * Alexander Konovalov. GAP Tutorial. * Temur Kutsia (RISC, Austria). Unification. * Wolfgang Windsteiger (RISC, Austria). Mathematica Tutorial

[TYPES/announce] 2nd CFP: WWV 2009

2009-01-09 Thread Temur Kutsia
workshop is planned. PROGRAM CO-CHAIRS Demis Ballis University of Udine, Italy Temur Kutsia Johannes Kepler University Linz, Austria WORKSHOP CO-CHAIRS Temur Kutsia Johannes Kepler University Linz, Austria Wolfgang Schreiner Johannes Kepler University Linz, Austria

[TYPES/announce] 2nd CfP: JSC Special Issue on Symbolic Computation in Software Science

2009-01-09 Thread Temur Kutsia
system: http://www.easychair.org/conferences/?conf=jscscss2009. IMPORTANT DATES --- * Submission of papers: March 23, 2009. * Notification of acceptance/rejection: July 27, 2009. * Final version: September 14, 2009. GUEST EDITOR * Temur Kutsia (RISC

[TYPES/announce] Deadline extension: WWV 2009

2009-02-04 Thread Temur Kutsia
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Apologies if you receive multiple copies] *** * DEADLINE EXTENSION* *

[TYPES/announce] CFP: JACIL Special Issue on Unification

2009-02-07 Thread Temur Kutsia
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Apologies if you receive multiple copies] ** EXTENDED DEADLINES | EXTENDED DEADLINES | EXTENDED DEADLINES |

[TYPES/announce] CFP: 8th Tbilisi Symposium

2009-02-17 Thread Temur Kutsia
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Please distribute widely. Apologies for cross-posting. *** 1-st Call for Papers

[TYPES/announce] JSC Special Issue on Symbolic Computation in Software Science

2009-03-24 Thread Temur Kutsia
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Apologies for multiple copies] == JOURNAL OF SYMBOLIC COMPUTATION Special Issue on Symbolic

[TYPES/announce] Second CfP: 8th Tbilisi Symposium on Language, Logic and Computation

2009-04-05 Thread Temur Kutsia
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Please distribute widely. Apologies for cross-posting.] *** Call for Papers

[TYPES/announce] CfP: Deadline extension, 8th Tbilisi Symposium

2009-05-01 Thread Temur Kutsia
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Please distribute widely. Apologies for cross-posting. ** 3-rd Call for Papers

[TYPES/announce] CFP: LOPSTR 2010

2009-11-09 Thread Temur Kutsia
? di Pescara, Italy John Gallagher Roskilde University, Denmark Michael HanusUniversity of Kiel, Germany Pat Hill University of Leeds, UK Andy KingUniversity of Kent, UK Temur Kutsia Johannes Kepler University Linz, Austria Ralf L?mmel Universit?t

[TYPES/announce] Last CfP: LOPSTR'10

2010-03-16 Thread Temur Kutsia
Michael HanusUniversity of Kiel, Germany Patricia M Hill University of Parma, Italy Andy KingUniversity of Kent, UK Temur Kutsia Johannes Kepler University Linz, Austria Ralf L?mmel Universit?t Koblenz-Landau, Germany Michael Leuschel University

[TYPES/announce] LOPSTR 2010: Deadline extension

2010-03-25 Thread Temur Kutsia
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] = 20th International Symposium on Logic-Based Program Synthesis and Transformation

[TYPES/announce] WWV'10: Deadline extension

2010-04-13 Thread Temur Kutsia
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Apologies if you receive multiple copies] *** * CALL FOR PAPERS * *

[TYPES/announce] LOPSTR/PPDP 2010 Call for Participation

2010-05-25 Thread Temur Kutsia
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Apologize for multiple copies] *** CALL FOR PARTICIPATION *** LOPSTR 2010

[TYPES/announce] LOPSTR/PPDP 2010 Early Registration Deadline: June 21

2010-06-15 Thread Temur Kutsia
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Apologize for multiple copies] *** CALL FOR PARTICIPATION *** LOPSTR 2010

[TYPES/announce] 2nd CfP: JAL Special Issue on Automated Specification and Verification of Web Systems

2011-01-11 Thread Temur Kutsia
DATES --- * Submission of papers: March 7, 2011. * Notification: June 6, 2011. GUEST EDITORS -- * Laura Kovács (Vienna University of Technology) * Temur Kutsia (RISC, Johannes Kepler University Linz)

[TYPES/announce] Last CfP: JAL Special Issue on Automated Specification and Verification of Web Systems

2011-03-02 Thread Temur Kutsia
DATES --- * Submission of papers: March 7, 2011. * Notification: June 6, 2011. GUEST EDITORS -- * Laura Kovács (Vienna University of Technology) * Temur Kutsia (RISC, Johannes Kepler University Linz)

[TYPES/announce] Extended deadline: JAL Special Issue on Automated Specification and Verification of Web Systems

2011-03-08 Thread Temur Kutsia
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Apologies for multiple copies] JOURNAL OF APPLIED LOGIC Special Issue on Automated Specification and Verification

[TYPES/announce] PhD Position in Computational Logic at RISC

2012-02-10 Thread Temur Kutsia
* Competency in English * Good programming skills * Preferably, knowledge of logic Interested candidates should submit their application to the project leader Temur Kutsia not later than March 31, 2012, preferably by email: Temur Kutsia Research Institute for Symbolic Computation Johannes Kepler

[TYPES/announce] CFP: SCSS 2013

2013-03-18 Thread Temur Kutsia
, Quatar) Horatiu Cirstea (LORIA, France) Jürgen Giesl (RWTH Aachen, Germany) Tetsuo Ida (University of Tsukuba, Japan) Tudor Jebelean (RISC, Johannes Kepler University Linz, Austria) Cezary Kaliszyk (University of Innsbruck, Austria) Fairouz Kamareddine (Heriot-Watt University, UK) Temur Kutsia (RISC

[TYPES/announce] SCSS 2013 - Deadline Extension

2013-05-02 Thread Temur Kutsia
, Japan) Paul Jackson (University of Edinburgh, UK) Tudor Jebelean (RISC, Johannes Kepler University Linz, Austria) Cezary Kaliszyk (University of Innsbruck, Austria) Fairouz Kamareddine (Heriot-Watt University, UK) Temur Kutsia (RISC, Johannes Kepler University Linz, Austria) Stephan Merz (INRIA

[TYPES/announce] CfP: JSC Special Issue on Symbolic Computation in Software Science

2013-10-14 Thread Temur Kutsia
Bouhoula (Higher School of Communications of Tunis, Tunisia) Bruno Buchberger (RISC, Johannes Kepler University Linz, Austria) Laura Kovacs (Chalmers University of Technology, Sweden) Temur Kutsia (RISC, Johannes Kepler University Linz, Austria) FURTHER INFORMATION

[TYPES/announce] Deadline extension: JSC - SCSS special issue

2014-01-07 Thread Temur Kutsia
Adel Bouhoula (Higher School of Communications of Tunis, Tunisia) Bruno Buchberger (RISC, Johannes Kepler University Linz, Austria) Laura Kovacs (Chalmers University of Technology, Sweden) Temur Kutsia (RISC, Johannes Kepler University Linz, Austria) FURTHER INFORMATION

[TYPES/announce] CfP: UNIF 2014

2014-01-13 Thread Temur Kutsia
* Temur Kutsia, RISC, Johannes Kepler University Linz, Austria (chair) * Christopher Lynch, Clarkson University, USA * Mircea Marin, West University of Timisoara, Romania * Barbara Morawska, TU Dresden, Germany * Paliath Narendran, University at Albany—SUNY, USA * Jan Otop, IST Austria

[TYPES/announce] 2nd CfP: UNIF 2014

2014-03-04 Thread Temur Kutsia
Escobar, Technical University of Valencia, Spain * Maribel Fernandez, King's College London, UK * Temur Kutsia, RISC, Johannes Kepler University Linz, Austria (chair) * Christopher Lynch, Clarkson University, USA * Mircea Marin, West University of Timisoara, Romania * Barbara Morawska, TU

[TYPES/announce] Last CfP: UNIF 2014

2014-04-03 Thread Temur Kutsia
* Santiago Escobar, Universitat Politecnica de Valencia, Spain * Maribel Fernandez, King's College London, UK * Temur Kutsia, RISC, Johannes Kepler University Linz, Austria (chair) * Christopher Lynch, Clarkson University, USA * Mircea Marin, West University of Timisoara, Romania * Barbara Morawska

[TYPES/announce] UNIF 2014: Call for Participation

2014-06-01 Thread Temur Kutsia
, USA: Extensible Symbolic System Analysis Program --- http://vsl2014.at/meetings/UNIF-program.html Registration http://vsl2014.at/registration (Don't forget the early registration deadline: June 8) We look forward to seeing you in Vienna! The UNIF 2014 organizers: Temur Kutsia

[TYPES/announce] 2nd CfP: SCSS 2014

2014-06-01 Thread Temur Kutsia
) - semantic web and cloud computing Invited Speakers Nikolaj Bjorner (Microsoft Research) TBA Program Chairs -- Temur Kutsia (RISC, Johannes Kepler University Linz, Austria) Andrei Voronkov (University of Manchester, UK) Program Committee -- Elvira

[TYPES/announce] SCSS 2014: Deadline extension

2014-06-24 Thread Temur Kutsia
.) - component-based programming - computational origami - query languages (in particular for XML documents) - semantic web and cloud computing Invited Speakers Nikolaj Bjorner (Microsoft Research) William M. Farmer (McMaster University) Program Chairs -- Temur Kutsia (RISC

[TYPES/announce] SCSS 2014: Call for short and work-in-progress papers

2014-09-01 Thread Temur Kutsia
in Gammarth Invited Speakers Nikolaj Bjorner (Microsoft Research) William M. Farmer (McMaster University) Program Chairs -- Temur Kutsia (RISC, Johannes Kepler University Linz, Austria) Andrei Voronkov (University of Manchester, UK) Program Committee -- Elvira

[TYPES/announce] 2nd CfP: SCSS 2016

2015-09-26 Thread Temur Kutsia
of Innsbruck, Austria) Yukiyoshi Kameyama (University of Tsukuba, Japan) Michael Kohlhase (Jacobs University, Germany) Temur Kutsia (Johannes Kepler University, Austria) Assia Mahboubi (Inria, France) Yasuhiko Minamide (Tokyo Institute of Technology, Japan) Yoshihiro Mizoguchi (Kyushu University, Japan

[TYPES/announce] 2nd CfP: JSC Special Issue on Symbolic Computation in Software Science

2016-06-13 Thread Temur Kutsia
template: http://www4.ncsu.edu/~hong/jsc/JSC_LaTex_2007_Mar_12.zip.) Submission is via the EasyChair submission site at https://easychair.org/conferences/?conf=jscscss2016. GUEST EDITORS James H. Davenport (University of Bath, UK) Temur Kutsia (RISC, Johannes Kepler University

[TYPES/announce] Last CfP: JSC Special Issue on Symbolic Computation in Software Science

2016-06-27 Thread Temur Kutsia
template: http://www4.ncsu.edu/~hong/jsc/JSC_LaTex_2007_Mar_12.zip.) Submission is via the EasyChair submission site at https://easychair.org/conferences/?conf=jscscss2016. GUEST EDITORS James H. Davenport (University of Bath, UK) Temur Kutsia (RISC, Johannes Kepler University Linz

[TYPES/announce] Deadline Extension: JSC Special Issue on Symbolic Computation in Software Science

2016-06-28 Thread Temur Kutsia
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Deadline extension Special issue of the JOURNAL OF SYMBOLIC COMPUTATION on SYMBOLIC COMPUTATION IN SOFTWARE SCIENCE

[TYPES/announce] CFP: Special Issue of the AMAI on the Formalization of Geometry, Automated and Interactive Geometric Reasoning

2017-03-01 Thread Temur Kutsia
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Annals of Mathematics and Artificial Intelligence special issue on Formalization of Geometry, Automated and Interactive Geometric Reasoning Geometry is a privileged field of

[TYPES/announce] CFP: SCSS 2017

2016-11-14 Thread Temur Kutsia
ard (INRIA - IRCAM, Paris, France) Mohamed Jmaeil (ReDCAD, ENIS, Tunisia) Cezary Kaliszyk (University of Innsburck, Austria) Yukiyoshi Kameyama (University of Tsukuba, Japan) Michael Kohlhase (KWARC, Germany) Laura Kovacs (Chalmers University of Technology, Sweden) Temur Kutsia (RISC, Johannes Kepler

[TYPES/announce] MACIS 2017: Deadline extension

2017-09-06 Thread Temur Kutsia
deadline for all submissions: October 2, Monday Registration opens: October 2, Monday Camera-ready due: October 15, Sunday MACIS 2017 Organization General Chair: Dimitris E. Simos, SBA Research, Austria PC Chairs: Johannes Bloemer, Paderborn University, Germany Temur Kutsia, RISC

[TYPES/announce] Second CfP: MACIS 2017

2017-08-27 Thread Temur Kutsia
, Germany Temur Kutsia, RISC, Johannes Kepler University, Austria MACIS Steering Committee: Ilias Kotsireas (Chair), Wilfrid Laurier University, Canada Siegfried Rump, Hamburg University of Technology, Germany Thomas Sturm, Max Planck Institute for Informatics, Germany Dongming Wang, Beihang

[TYPES/announce] SYNASC 2018 - Final Call for Papers

2018-06-13 Thread Temur Kutsia
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Final Call for Papers SYNASC 2018 20th International Symposium on

[TYPES/announce] Deadline Extension: ICMS'18 Session on Software for Mathematical Reasoning and Applications

2018-03-22 Thread Temur Kutsia
, computer science, natural sciences, engineering, education, ... - the use of automated reasoning in the build-up of formal mathematical knowledge bases - and related subjects. ORGANIZERS -- Bruno Buchberger (RISC, JKU Linz, Austria) Tudor Jebelean (RISC, JKU Linz, Austria) Temur Kutsia

[TYPES/announce] CfP: ICMS'18 Session on Software for Mathematical Reasoning and Applications

2018-03-02 Thread Temur Kutsia
-- Bruno Buchberger (RISC, JKU Linz, Austria) Tudor Jebelean (RISC, JKU Linz, Austria) Temur Kutsia (RISC, JKU Linz, Austria) Alexander Maletzky (RISC, JKU Linz, Austria) Wolfgang Windsteiger (session manager) (RISC, JKU Linz, Austria) IMPORTANT DATES --- Short abstract submission

[TYPES/announce] CfP: SCSS 2020

2020-02-06 Thread Temur Kutsia
Bouhoula (Sup'Com, Carthage University, Tunisia) Tetsuo Ida (Tsukuba University, Japan) Program Chair - Temur Kutsia (Johannes Kepler University, Austria) Program Committee - Hassan Ait-Kaci (HAK Language Technologies) Changbo Chen (Chinese Academy of Sciences, China) Rachid Echahed

[TYPES/announce] CfP: UNIF 2020

2020-02-20 Thread Temur Kutsia
Santiago Escobar (Universitat Politècnica de València) Maribel Fernandez (King's College London) Silvio Ghilardi (Università degli Studi di Milano) Pascual Julian-Iranzo (University of Castilla-La Mancha) Temur Kutsia (RISC, Johannes Kepler University Linz) co-chair Jordi Levy (IIIA - CSIC) C

[TYPES/announce] 2nd CfP: UNIF 2020

2020-04-09 Thread Temur Kutsia
dua (Ivane Javakhishvili Tbilisi State University) Serdar Erbatur (University of Texas at Dallas) Santiago Escobar (Universitat Politècnica de València) Maribel Fernandez (King's College London) Silvio Ghilardi (Università degli Studi di Milano) Pascual Julian-Iranzo (University of Castilla-La Manc

[TYPES/announce] CfP: AMAI Special Issue on Theoretical and Practical Aspects of Unification

2020-10-07 Thread Temur Kutsia
the article type. GUEST EDITORS Temur Kutsia (RISC, Johannes Kepler University Linz, Austria) Andrew M. Marshall (University of Mary Washington, USA) FURTHER INFORMATION --- Temur Kutsia Andrew M. Marshall

[TYPES/announce] 2nd CfP: AMAI Special Issue on Theoretical and Practical Aspects of Unification

2020-12-02 Thread Temur Kutsia
the article type. GUEST EDITORS Temur Kutsia (RISC, Johannes Kepler University Linz, Austria) Andrew M. Marshall (University of Mary Washington, USA) FURTHER INFORMATION --- Temur Kutsia Andrew M. Marshall

[TYPES/announce] Deadline extension: AMAI Special Issue on Theoretical and Practical Aspects of Unification

2020-12-14 Thread Temur Kutsia
EDITORS Temur Kutsia (RISC, Johannes Kepler University Linz, Austria) Andrew M. Marshall (University of Mary Washington, USA) FURTHER INFORMATION --- Temur Kutsia Andrew M. Marshall

[TYPES/announce] CfP: SCSS 2021

2021-02-02 Thread Temur Kutsia
(Johannes Kepler University Linz, Austria) More speakers will be announced. General Chairs - Adel Bouhoula (Arabian Gulf University, Bahrain) Tetsuo Ida (University of Tsukuba, Japan) Program Chair - Temur Kutsia (Johannes Kepler University, Austria) Program Committee - David Cerna

[TYPES/announce] Last CfP: SCSS 2021

2021-05-13 Thread Temur Kutsia
) Program Chair - Temur Kutsia (Johannes Kepler University, Austria) Program Committee - David Cerna (Czech Academy of Sciences, Czech Republic, and Johannes Kepler University Linz, Austria) Changbo Chen (Chinese Academy of Sciences, China) Rachid Echahed (CNRS, Grenoble

[TYPES/announce] SCSS 2021: deadline extension

2021-05-19 Thread Temur Kutsia
University Linz, Austria) Stephen M. Watt (University of Waterloo, Canada) General Chairs - Adel Bouhoula (Arabian Gulf University, Bahrain) Tetsuo Ida (University of Tsukuba, Japan) Program Chair - Temur Kutsia (Johannes Kepler University, Austria) Program Committee - David Cerna

[TYPES/announce] 2nd CfP: SCSS 2021

2021-03-29 Thread Temur Kutsia
) Program Chair - Temur Kutsia (Johannes Kepler University, Austria) Program Committee - David Cerna (Czech Academy of Sciences, Czech Republic, and Johannes Kepler University Linz, Austria) Changbo Chen (Chinese Academy of Sciences, China) Rachid Echahed (CNRS, Grenoble

[TYPES/announce] 2nd CfP: AMAI Special Issue on Symbolic Computation in Software Science

2022-03-28 Thread Temur Kutsia
) Bruno Buchberger (RISC, Johannes Kepler University Linz, Austria) Tetsuo Ida (University of Tsukuba, Japan) Temur Kutsia (RISC, Johannes Kepler University Linz, Austria)

[TYPES/announce] CfP: AMAI Special Issue on Symbolic Computation in Software Science

2022-02-01 Thread Temur Kutsia
) Bruno Buchberger (RISC, Johannes Kepler University Linz, Austria) Tetsuo Ida (University of Tsukuba, Japan) Temur Kutsia (RISC, Johannes Kepler University Linz, Austria)

[TYPES/announce] Final CfP: AMAI Special Issue on Symbolic Computation in Software Science

2022-05-20 Thread Temur Kutsia
Adel Bouhoula (Arabian Gulf University, Bahrain) Bruno Buchberger (RISC, Johannes Kepler University Linz, Austria) Tetsuo Ida (University of Tsukuba, Japan) Temur Kutsia (RISC, Johannes Kepler University Linz, Austria)

[TYPES/announce] Deadline extension: AMAI Special Issue on Symbolic Computation in Software Science

2022-05-25 Thread Temur Kutsia
Bouhoula (Arabian Gulf University, Bahrain) Bruno Buchberger (RISC, Johannes Kepler University Linz, Austria) Tetsuo Ida (University of Tsukuba, Japan) Temur Kutsia (RISC, Johannes Kepler University Linz, Austria)

[TYPES/announce] Extended deadline: JSC special issue on the interaction of SC and ML in AI

2023-08-07 Thread Temur Kutsia
the article type "VSI: SYNASC 2022" when submitting your manuscript online. Submission deadline: September 17, 2023 GUEST EDITORS Bruno Buchberger (RISC, Johannes Kepler University Linz, Austria) Temur Kutsia (RISC, Johannes Kepler University Linz, Austria) Mircea Mari

[TYPES/announce] CfP: JSC special issue on the interaction of SC and ML in AI

2023-05-19 Thread Temur Kutsia
n submitting your manuscript online. Submission deadline: August 14, 2023 GUEST EDITORS Bruno Buchberger (RISC, Johannes Kepler University Linz, Austria) Temur Kutsia (RISC, Johannes Kepler University Linz, Austria) Mircea Marin (West University of Timisoara, Romania) Wolfgang

[TYPES/announce] Symbolic Computation in Software Science (SCSS'24): submission deadline extension

2024-03-04 Thread Temur Kutsia
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The Symbolic Computation in Software Science conference, initiated by Bruno Buchberger, Tetsuo Ida, and Masahiko Sato, this year has its 10th edition August 28-30 in Tokyo. The paper

[TYPES/announce] CfP: SCSS 2024

2024-02-29 Thread Temur Kutsia
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Apologies for multiple posting] # #Second Announcement and Call for Papers # The 10th International