JuliaCon 2022 (Times are UTC)
ロケール設定が保存されました。pretalxでは英語のサポートが充実していると思っていますが、問題やエラーが発生した場合は、ぜひご連絡ください。
“Automated Geometric Theorem Proving in Julia”
Reviews are a valuable tool for speakers to improve their content and presentation. Even a short review can prove valuable to a speaker! Please take the time and communicate your feedback in a constructive way.
ありがとうございます！私達（とスピーカー）は、あなたのフィードバックに感謝します。