Logic-ml August 2020

4 participants
4 discussions

FLOPS 2020: Call for Participation
by Keisuke Nakano 01 Sep '20

01 Sep '20

logic-MLの皆様，東北大学の中野です．来たる 9/14-16 に FLOPS 2020 がオンラインで開催されます．（参加費無料です！） https://www.ipl.riec.tohoku.ac.jp/FLOPS2020/ 日本時間では少し遅い時間 (20:00-23:30頃) での開催となりますが，　群馬大学の浜名誠先生　MITのAdam Chlipala先生の招待講演も予定されておりますので，ぜひ参加をご検討ください．参加費は無料ですが，9/9 21:00までに参加登録をお願いします． -- 中野圭介東北大学電気通信研究所 ksk(a)riec.tohoku.ac.jp

1 0

第31回 ALGI（2020年9月3日〜9月4日）告知【直前版】
by MIYOSHI HIROYUKI 31 Aug '20

31 Aug '20

各メーリングリストの皆様， 2日後に迫りましたが，第31回 ALGIについて再度告知をいたします。聴講のみの参加も歓迎いたしますが，まだ講演のスロットが空いていますので講演申し込みも直前まで受付いたします（進行途中の仕事やサーベイなどでも構いません）。ふるってご参加ください。第31回 ALGI（代数，論理，幾何と情報科学研究集会） 2020年9月3日（木）〜9月4日（金） Zoomによるオンライン開催 https://sites.google.com/site/algimeeting/home/31 幹事：西澤弘毅（神奈川大学）津曲紀宏（崇城大学）三好博之（京都産業大学）過去のALGIについては以下のページをご覧ください： https://sites.google.com/site/algimeeting/home -------- 京都産業大学理学部数理科学科三好博之 hxm(a)cc.kyoto-su.ac.jp

1 0

CfP: Computability and Complexity in Analysis (CCA 2020)
by Matthew 26 Aug '20

26 Aug '20

logic-ml の皆様京都大学人間・環境学研究科の Matthew de Brechtです。（私の勘違いでCCC 2020の案内が更に遅れましたが、今日(8月26日）の時点でも参加登録はまだできそうです）。紛らわしいですが、ついでにもう一つのオンライン・ワークショップを案内させていただきます。 Computability and Complexity in Analysis (CCA 2020)は9月11日～9月13日にオンライン(Zoom)で開催されます（CCC 2020とはまた別な学会です）。計算可能解析学や構成的解析学等にご興味のある方は是非ご参加ください。詳細は下記のウェブサイトをご覧下さい。 http://cca-net.de/cca2020/ 参加登録の締め切りは9月1日（火）です。 ============================================================= Call for Participation Seventeenth International Conference on Computability and Complexity in Analysis (CCA 2020) http://cca-net.de/cca2020/ September 9-11, 2020, virtual (originally planned for Bologna, Italy) Registration deadline: September 1, 2020 ______________________________________________________________ Due to the ongoing COVID-19 pandemic CCA 2020 cannot take place in Bologna, as originally intended. The entire conference will take place virtually on the Zoom online conference platform. The conference link will be distributed to all registered participants. ______________________________________________________________ Invited Speakers * Olivier Bournez (Palaiseau, France) * Douglas Cenzer (Gainesville, USA) * Eva Darulova (Kaiserslautern, Germany) * Makoto Fujiwara (Munich, Germany) * Mathieu Hoyrup (Nancy, France) * Alberto Marcone (Udine, Italy) * Eike Neumann (Oxford, UK) * Arno Pauly (Swansea, UK) Scientific Program Committee * Andrej Bauer (Ljubljana, Slovenia) * Matthew de Brecht (Kyoto, Japan) * Pietro Di Gianantonio (Udine, Italy) * Daniel Graça (Faro, Portugal) * Peter Hertling (Munich, Germany) * Hajime Ishihara (Ishikawa, Japan) * Zvonko Iljazovic, chair (Zagreb, Croatia) * Matthias Schröder (Darmstadt, Germany) * Holger Thies (Fukuoka, Japan) * Ning Zhong (Cincinnati, USA) Organizing Committee * Melissa Antonelli (Bologna, Italy) * Francesco Bianchini (Bologna, Italy) * Guido Boccali (Bologna, Italy) * Giovanna Corsi (Bologna, Italy) * Ugo Dal Lago (Bologna, Italy) * Cecilia Di Florio (Bologna, Italy) * Guido Fiorillo (Bologna, Italy) * Guido Gherardi, chair (Bologna, Italy) * Leonardo Mazzanti (Bologna, Italy) * Eugenio Orlandelli (Bologna, Italy) * Sofia Pierini (Bologna, Italy) * Gioia Susanna (Bologna, Italy) * Riccardo Zanichelli (Bologna, Italy) Conference Web Page http://cca-net.de/cca2020/ Registration deadline: September 1, 2020

1 0

Fwd: CCC 2020; call for participation
by Matthew de Brecht 26 Aug '20

26 Aug '20

logic-ml の皆様京都大学人間・環境学研究科の Matthew de Brechtです。今年のContinuity, Computability, Constructivityワークショップ(CCC 2020)は来週(8月31日～9月4日)オンライン(Zoom)で開催されます。計算可能解析学、ポイントレス・トポロジー、構成的論理等にご興味のある方は是非ご参加ください。人間・環境学研究科の立木秀樹教授による招待講演も予定されています。突然で申し訳ございませんが、参加される方は本日中に下記のウェブページで登録してください。 http://cid.uni-trier.de/ccc-2020-continuity-computability-constructivity-fr… （登録締め切りは既に過ぎていますが、本日中ならまだ間に合うようです。） __________________________________ * Continuity, Computability, Constructivity – From Logic to Algorithms* * (CCC 2020)* * Online workshop* * 31 August - 4 September 2020* *Call for participation* http://cid.uni-trier.de/ccc-2020-continuity-computability-constructivity-fr… <http://ccc2014.fmf.uni-lj.si/> CCC is a workshop series that brings together researchers applying logical methods to the development of algorithms, with a particular focus on computation with infinite data, where issues of continuity, computability and constructivity play major roles. Specific topics include exact real number computation, computable analysis, effective descriptive set theory, constructive analysis, and related areas. The overall aim is to apply logical methods in these disciplines to provide a sound foundation for obtaining exact and provably correct algorithms for computations with real numbers and other continuous data, which are of increasing importance in safety critical applications and scientific computation. *Due to the COVID-19 pandemic and its consequences with respect to travelling and gathering together, the workshop will take place online. * Previous workshops have been held in Cologne 2009, Trier 2012, Gregynog 2013, Ljubljana 2014, Kochel 2015, Nancy 2017, Faro 2018, and Ljubljana 2019. The workshop is open to all researchers in the area. *Scope: *The workshop specifically invites contributions in the areas of - Exact real number computation, - Correctness of algorithms on infinite data, - Computable analysis, - Complexity of real numbers, real-valued functions, etc. - Effective descriptive set theory, - Domain theory, - Constructive analysis, - Category-theoretic approaches to computation on infinite data, - Weihrauch degrees, - And related areas. *Invited Speakers:* - Holger Boche (Munich) - Elvira Mayordomo (Zaragoza) - Eike Neumann (Oxford) - Hideki Tsuiki (Kyoto). *Tutorial Speaker:* - *Hongseok Yang (KAIST)* * Programme Committee:* - Matthew de Brecht (Kyoto) - Daniel Graça (Faro) (co-chair) - Michal Konečný (Aston) - Monika Seisenberger (Swansea) - Alex Simpson (Ljubljana) - Dieter Spreen (Siegen) (co-chair) - Holger Thies (Kyushu) - Martin Ziegler (Daejeon). *Organizing Committee:* - Daniel Graça (Faro) - Dieter Spreen (Siegen)

2 1

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml August 2020