みなさま、
東工大の叢です。
ICFP 2020 の併設イベント Student Research Competition の案内です。
アブストラクトの締切は6月26日(金)で、採択された場合、ICFP の
会期中(8月23日(日)~ 8月28日(金))にポスター発表を行うこと
になります。
今年はオンライン開催ですが、参加者にとって実り多いイベントとなる
よう、プログラム委員の間でさまざまなアイディアを出し合っています。
また、学生さん向けの交流イベントも企画しています。
日本(自宅)にいながら、世界中の関数型プログラミング研究者と議論
できる貴重な機会です。学生のみなさまのご応募をお待ちしています。
叢 悠悠
------------------------------------------------------------
ICFP 2020 Student Research Competition
Call for Submissions
ICFP invites students to participate in the …
[View More]Student Research
Competition, which will be held virtually alongside the main
conference, in order to present their research and receive
feedback from prominent members of the programming language
research community.
As usual, the SRC consists of three rounds:
* Extended abstract
* Poster session at ICFP 2020
* ICFP presentation
To make the virtual competition fruitful, we will make sure
that every student will have an "invited audience" during the
poster session. We are also planning to organize a social event
for the students. Please visit the SRC website for updates.
### Important Dates
Submissions due: 26 Jun 2020 (Friday)
https://icfp20src.hotcrp.com
Notification: 10 July 2020 (Friday)
Conference: 23 August (Sunday) - 28 August (Friday)
### Submission Details
Each submission (referred to as "abstract" below) should include the
student author’s name and e-mail address; institutional affiliation;
research advisor’s name; ACM student member number; category
(undergraduate or graduate); research title; and an extended abstract
addressing the following:
* Problem and Motivation: Clearly state the problem being addressed and
explain the reasons for seeking a solution to this problem.
* Background and Related Work: Describe the specialized (but
pertinent) background necessary to appreciate the work in the
context of ICFP areas of interest. Include references to the
literature where appropriate, and briefly explain where your work
departs from that done by others.
* Approach and Uniqueness: Describe your approach in addressing the
problem and clearly state how your approach is novel.
* Results and Contributions: Clearly show how the results of your work
contribute to programming language design and implementation in
particular and to computer science in general; explain the
significance of those results.
* Submissions must be original research that is not already published
at ICFP or another conference or journal. One of the goals of the
SRC is to give students feedback on ongoing, unpublished
work. Furthermore, the abstract must be authored solely by the
student. If the work is collaborative with others and*or part of a
larger group project, the abstract should make clear what the
student’s role was and should focus on that portion of the work.
* Formatting: Submissions must be in PDF format, printable in black
and white on US Letter sized paper, and interpretable by common PDF
tools. All submissions must adhere to the "ACM Small" template that
is available (in both LaTeX and Word formats) from
https://www.acm.org/publications/authors/submissions. For authors
using LaTeX, a lighter-weight package, including only the essential
files, is available from
http://sigplan.org/Resources/Author/#acmart-format. The submission
must not exceed 3 pages in PDF format. Reference lists do not count
towards the 3-page limit.
Further information is available at the ICFP SRC website:
https://icfp20.sigplan.org/track/icfp-2020-Student-Research-Competition
Program Committee:
Chair: Youyou Cong (Tokyo Institute of Technology)
Stephen Chang (University of Massachusetts Boston)
Jesper Cockx (Delft University of Technology)
Hsiang-Shang Ko (Institute of Information Science, Academia Sinica)
Cyrus Omar (University of Michigan)
[View Less]
(重複投稿ご容赦ください)
みなさま、
京都大学数理解析研究所の室屋です。
国際オンラインセミナー OWLS が4月より隔週水曜日に開催されておりますが、この度、
その合間となる水曜日の同じ時間帯に、若手研究者を発表者とするトラック OWLS-YR を
新設することとなりました。
OWLS-YR の初回は明日 6/3 (水) です。その後は OWLS と OWLS-YR が毎週水曜日に
週替わりで開催されます。
時差の都合で日本では夜22時の開始となりますが、みなさまのご参加をお待ちしております。
室屋晃子
----------------------------------------------------------------
[Apologies for any duplicate messages]
** ONLINE WORLDWIDE SEMINAR ON LOGIC AND SEMANTICS (OWLS) **
** https://www.cs.bham.ac.uk/~vicaryjo/owls/ **
The Online Worldwide …
[View More]Seminar on Logic and Semantics is an online-only
series of research talks, highlighting the most exciting recent work
in the international computer science logic community. In this time of
restricted international travel, a key aim of this series is to
provide a forum for informal discussion and social interaction that is
so important for the progress of science. To facilitate this, the
seminar incorporates in virtual form a number of features more
normally associated with physical meetings, including virtual "coffee
breaks" before and after the seminar, allowing participants to chat in
small groups. (Don't forget to bring your own coffee.)
Starting this Wednesday, we are excited to announce the first of our
OWLS Young Researcher talks, given by a researcher within 7 years of
completing their PhD. A new initiative, these OWLS-YR talks will take
place fortnightly, interleaved with regular OWLS talks. Our goal is to
give a platform to the excellent work being done by junior members of
the community. All members of the community are encouraged to attend
these talks.
** UPCOMING PROGRAMME **
Talks take place on Wednesdays at 2pm UTC+1. Abstracts are available
at the OWLS homepage. Visit this link to sign up for reminder emails
on the day of the talk: https://bit.ly/3cm0GZG
- 3 June (OWLS-YR). Dmitry Chistikov, University of Warwick,
"Parikh's theorem from the complexity viewpoint"
- 10 June (OWLS). Valeria Vignudelli, ENS Lyon, "Monads and
quantitative equational theories for nondeterminism and probability"
- 17 June (OWLS-YR). Marie Fortin, University of Liverpool, "FO=FO3
for linear orders with monotone binary relations"
- 24 June (OWLS). Anupam Das, University of Birmingham
- 1 July (OWLS-YR). Amina Doumane, CNRS, ENS de Lyon
- 8 July (OWLS). Christine Tasson, IRIF, Paris
- 15 July (OWLS-YR). Justin Hsu, University of Wisconsin–Madison, "A
separation logic for probabilistic independence"
- 22 July (OWLS). Tarmo Uustalu, Reykjavik University
** SEMINAR INFORMATION **
Talks are fully interactive, with audience members able to see the
speaker's face at the same time as the slides, and able to ask
questions with full audio and video, just as they would in a physical
seminar, allowing the nuanced communication that is so critical for
modern science.
After and before each seminar, the participants split into small
groups for informal discussion, an optional feature of the seminars
which has already become a favourite feature of the series for many of
the regular participants. Everybody is welcome to join these friendly
discussions.
The seminar series is based on the Zoom technology platform, which is
capable of handing large meetings with ease. Visit the OWLS webpage
given at the top of this email for more information about the seminar.
Best wishes, the organizers:
- Nathanaël Fijalkow, CNRS, Laboratoire Bordelais de Recherche en
Informatique, France
- Charles Grellois, Université Aix-Marseille, France.
- S. Krishna, IIT Bombay, India
- Koko Muroya, RIMS, Kyoto University, Japan
- Alexandra Silva, University College London
- Pawel Sobocinski, Tallinn University of Technology
- Jamie Vicary, University of Cambridge
[View Less]
皆様,
(複数お受け取りの場合はご容赦ください.)
末永です.
4月末にシドニーで開催予定であった cyber-physical systems と IoT に
関する会議 CPS-IoT Week がバーチャル開催となったことにより,
モニタリングとテストに関する併設ワークショップの MT-CPS も
バーチャル開催となりました.
Talk の動画が4月13日にアップロードされて,
参加者があらかじめそれを視聴した上で,
April 21 at 14:00 UTC に invited talk,
April 22 at 13:30 UTC に live の Q&A セッションをやります.
参加費無料,要登録です.どうぞ参加をご検討ください.
末永
--------------------------------------------------------------------------------------------
Call for Participation
5th Workshop on Monitoring And Testing Of …
[View More]Cyber-Physical Systems
MT-CPS 2020
April 13-22, 2020 - virtual
https://sites.google.com/view/mt-cps2020/
Due to the COVID-19 pandemic, the workshop will be held in an entirely
virtual format.
In order to virtually attend the workshop, you need to register by
sending an email to mtcps2020(a)easychair.org with your name,
affiliation, and email address.
Note that there is no registration fee!
--------------------------------------------------------------------------------------------
--- Workshop schedule ---
The workshop will be held as follows:
- Starting from April 13, videos of the talks will be made available
to registered workshop attendees. Attendees will be able to ask
questions and authors to answer in a dedicated forum.
- On April 21 at 14:00 UTC, we will have a live keynote speech by
Sanjit A. Seshia.
- On April 22 at 13:30 UTC, we will have a live Q&A session with all
the authors. Authors will have the opportunity to further elaborate
their answers to the questions received in the forum of their paper,
and attendees to ask new questions.
--- Organizational matters ---
For the live keynote speech and the live Q&A session, workshop
attendees and authors will receive an invitation to a Zoom room.
Please install Zoom in advance: https://zoom.us/download#room_client .
Please check carefully the corresponding time in your time zone:
https://sites.google.com/view/mt-cps2020/#h.p_DjijVUkseWJz
--------------------------------------------------------------------------------------------
--- Workshop program ---
April 21, 2020 at 14:00 UTC
Live keynote talk by Sanjit A. Seshia, University of California, Berkeley
April 13-22, 2020 online
Videos of the talks will be made available to registered workshop
attendees on an online platform.
The following papers have been accepted for the workshop:
- Shaukat Ali and Tao Yue. Handling Uncertainties in Cyber-Physical
Systems during Their Operations with Digital Twins
- Johan Lidén Eddeland, Knut Åkesson, and Sajed Miremadi.
Specification Transformation for Applying Temporal Logic-Based
Falsification to Industrial Models
- Bernd Finkbeiner, Jessica Schmidt, and Maximilian Schwenger. Simplex
Architecture Meets RTLola
- Colin Shea-Blymyer and Houssam Abbas. A Deontic Logic Analysis of
Autonomous Systems’ Safety
- Kotaro Tanabe, Yoshinori Tanabe, and Masami Hagiya. Speedup of
Model-Based Testing for IoT Software Using Virtual Time and State
Distribution of Devices
- Masaki Waga, Étienne André, and Ichiro Hasuo. Symbolic Monitoring
Against Specifications Parametric in Time and Data
- Xiao-Yi Zhang and Fuyuki Ishikawa. Identifying Hazard-causing
Components for Automotive Driving Systems
--------------------------------------------------------------------------------------------
--- Registration ---
- Send an email to mtcps2020(a)easychair.org with your name,
affiliation, and email address. Please register each attendee, even if
you plan to watch the videos of the talks together with your
colleagues and/or students (you can also send us an email with a batch
registration of multiple people).
- No registration fee!
[View Less]
International Conference on Artificial Intelligence and Big Data (AIBD
2020)
April 25~26, 2020, Copenhagen, Denmark
https://acsty2020.org/aibd/index.html
Call for Papers
International Conference on Artificial Intelligence and Big Data (AIBD
2020) will provide an excellent international forum for sharing knowledge
and results in theory, methodology and applications of on Artificial
Intelligence and Big Data. The aim of the conference is to provide a
platform to the researchers and practitioners …
[View More]from both academia as well as
industry to meet and share cutting-edge development in the field.
Authors are solicited to contribute to the conference by submitting
articles that illustrate research results, projects, surveying works and
industrial experiences that describe significant advances in the areas of
Internet of Things.
Topics of interest include, but are not limited to, the following
Artificial Intelligence
• AI Algorithms
• Artificial Intelligence Tools and Application
• Computational Theories of Learning
• Data Mining and Machine Learning Tools
• Fuzzy Logic
• Heuristic and AI Planning Strategies and Tools
• Hybrid Intelligent System
• Intelligent System Architecture
• Knowledge Representation
• Natural Language Processing
• Knowledge-based Systems
• Neural Networks
• Pattern Recognition
• Reasoning and Evolution
• Recent Trends and Developments of AI, Big Data
• Robotics
Big Data
• Big Data Techniques, models and algorithms
• Big Data Infrastructure and platform
• Big Data Search and Mining
• Big Data Security, Privacy and Trust
• Big Data Applications in AI, Bioinformatics, Multimedia etc
• Big Data Tools and systems
• Big Data Mining and AI
• Big Data Management
• Cloud and grid computing for Big Data
• Machine Learning and AI for Big Data
• Big Data Analytics and Social Media
• 5G and Networks for Big Data
Paper Submission
Authors are invited to submit papers through the conference Submission
System (https://acsty2020.org/submission/index.php).
Important Dates
Submission Deadline : March 07, 2020
Authors Notification : April 10, 2020
Registration & camera – Ready Paper Due : April 15, 2020
Contact Us
Here’s where you can reach us : aibd AT acsty2020 DOT org or aibdconf AT
yahoo DOT com
[View Less]