[UAI] CFP: DIMACS 2021 Workshop on Forecasting, March 17-19

2020-12-23 Thread David Pennock
*DIMACS 2021 Workshop on Forecasting: From Predictions to Decisions*

*Call For Papers*



Following the successful EC 2017 Workshop on Forecasting, we seek
submissions to the *DIMACS 2021 Workshop on Forecasting, to be held online
March 17-19, 2021*. We welcome submissions describing recent research on
crowd-sourced, data-driven, or hybrid approaches to forecasting. We
especially encourage contributions that leverage forecasts to improve
decisions.



Recent advances in crowdsourced forecasting mechanisms, including Good
Judgment’s superforecasting, prediction markets, wagering mechanisms, and
peer-prediction systems, have risen in parallel to advances in machine
learning and other data-driven forecasting approaches. Innovations have
come from academic researchers, companies, data journalists, and government
programs like IARPA’s Aggregative Contingent Estimation program and Hybrid
Forecasting Competition.



The workshop will emphasize forecasts embedded inside decision-making
systems, where the value of a forecast comes from increasing the expected
utility of a key decision. Our ultimate goal is to modernize organizations,
markets, and governments by improving how they collect and combine
information and make decisions.



The workshop embraces the diversity of this exciting and expanding field
and encourages submissions from a rich set of empirical, experimental, and
theoretical perspectives. We invite theoretical computer scientists
studying algorithmic game theory, incentivized exploration, and NP-hard
counting problems; AI researchers studying machine learning, human
computation, Bayesian inference, peer prediction, and satisfiability;
statisticians studying scoring rules and belief aggregation; economists
studying prediction markets, financial markets, and wagering mechanisms;
data journalists and marketing scientists studying surveys and polls;
blockchain pioneers implementing decentralized prediction markets and other
experimental market constructs; social and behavioral scientists studying
human behavior modeling; human-computer interaction researchers designing
interfaces to facilitate elicitation or convey uncertainty; and
practitioners working to improve forecasts as a business or service.



Uncertainty is hard to communicate. Forecasters argue that they are
“right”, and critics that forecasters are “wrong” (for example about Brexit
or the US Presidential election), despite the fact that probabilistic
forecasts can only be evaluated in bulk relative to other forecasts. We
invite contributions discussing ways to communicate uncertainty and educate
the public about modeling, forecasting, and scoring, building on the
excellent 2018 Nova episode “Prediction by the Numbers”.



Topics of interest for the workshop include but are not limited to:



(1) Incentives in forecasting. Methods for eliciting truthful and accurate
forecasts or information.

(2) Coordinating groups of participants to collectively forecast. Examples
include prediction markets and wagering mechanisms.

(3) Connections between human- and machine-driven forecasting. Uses of
data, models, or machine learning in forecasting, and theoretical
connections between forecasting mechanisms and machine learning techniques.

(4) Making complex forecasts. Predicting structured, combinatorial, or
multi-part events. Making conditional forecasts. Forecasting continuous
distributions, exponential-sized joint distributions, and spatiotemporal
distributions.

(5) Forecasting metrics related to climate, the environment,
transportation, renewable energy, or public health. For example, metrics of
a pandemic including number infected, number hospitalized, number killed,
and fatality rate by region and over time, conditioned on public health
policies.

(6) Forecasting in support of decision making by companies, organizations,
or governments.

(7) Visualization and other best practices for communicating uncertainty
and educating the public about forecasts.



We invite both full contributions and poster contributions. A full
contribution is an unpublished or recently published research manuscript. A
poster contribution can be a preprint, a recently published paper, an
abstract, or a presentation file. Preference may be given to more recent
and unpublished work. We especially encourage poster contributions from
students and postdocs.



*Please submit your contributions using the Google Form*
https://forms.gle/wPt4sxovctUKNT8s6 *by February 19, 2021*. The workshop is
non-archival, meaning contributors are free to publish their results later
in archival journals or conferences. Panel discussion proposals and invited
speaker suggestions are also welcome. Email questions or suggestions to the
organizers.



The workshop will include invited and contributed talks, open discussion,
and may include a poster session and a rump session. Workshop registration
will be open.



*Important Dates*


* Submissions due:* *Friday, February 19, 2021*

Notifications: 

[UAI] UAI 2021 - Call for Papers

2020-12-23 Thread UAI2021 Programchairs
The Conference on Uncertainty in Artificial Intelligence (UAI) is one
of the premier international conferences on research related to
learning and reasoning in the presence of uncertainty. UAI 2021 will
be held fully online from 27 to 30 July 2021.

We invite papers that describe novel theory, methodology and
applications related to artificial intelligence, machine learning and
statistics. Papers will be assessed based on their novelty, technical
quality, potential impact and clarity of writing. More detailed
information can be found on the conference website:
https://www.auai.org/uai2021/

Important dates:
February 19, 2021 (23:59 UTC): Paper submission deadline
April 14-20, 2021: Author response period
May 12, 2021: Author notification

We are looking forward to building an exciting program and will do our
best to leverage the advantages that an online conference can create.
If you have any particular positive or negative experience that you
would like to share with us, please do not hesitate to write us an
email. Soon there will be a call for workshop proposals too, stay
tuned.

Cassio de Campos and Marloes Maathuis
UAI 2021 Program Chairs
uai2021programcha...@gmail.com
___
uai mailing list
uai@engr.orst.edu
https://it.engineering.oregonstate.edu/mailman/listinfo/uai


[UAI] Paper Invitation [Robotics, CiteScore 2.5] Special Issue "Optimal Robot Motion Planning" (deadline 31 May 2021)

2020-12-23 Thread Charlene.Dong

Dear colleague,

We are pleased to invite you to contribute a paper to our Special Issue
"Optimal Robot Motion Planning" in /Robotics/. Both comprehensive review
and original article are welcome.

Special Issue Website at:
https://www.mdpi.com/journal/robotics/special_issues/robot_motion_planning
Deadline for manuscript submissions: 31 May 2021
Guest editors: Prof. Dr. Nikolaos Aspragathos, Dr. Vassilis C.
Moulianitis and Dr. Elias K. Xidias

This Special Issue aims to present and discuss major research
challenges, latest developments, and recent advances in optimal motion
planning for robots (such as unmanned underwater or surface vehicles,
unmanned ground and aerial vehicles, autonomous vehicles, manipulators,
etc.) which are requested to operate in a real world environment.

Topics of interest include, but are not limited to, the following:

robot motion planning
unmanned vehicles
industrial robots
microparts motion planning
evolutionary algorithms
machine learning methods
reinforcement learning
computational geometry

If you decide to contribute to this special issue, please inform us. The
Editorial Board of Robotics strives to ensure a rigorous and efficient
peer review process for all manuscripts, in order to ensure high quality
manuscripts be published in a timely manner (if accepted after peer
review process).

Robotics provides an advanced forum for studies related to all aspects
of robotics. It is covered by leading indexing services, including the
Emerging Sources Citation Index (ESCI - Web of Science),
Scopus (from Vol.6, 2017), nspec (IET) and DBLP Computer Science
Bibliography, and other databases. As a fully open access journal, the
Article Processing Charges of CHF 1000 (APC) apply to accepted papers.

For further details on the submission process, please see the
instructions for authors at the journal website:
https://www.mdpi.com/journal/robotics/instructions

In case of questions, please contact the charlene.d...@mdpi.com.

We look forward to hearing from you.

Best regards,

Charlene Dong
Managing Editor
Robotics (https://www.mdpi.com/journal/robotics)

--
MDPI Branch Office, Beijing
Room 2006, Jincheng Center, No.21 Cuijingbeili,
Tongzhou District, Beijing, China
Robotics Editorial Office
E-Mail: robot...@mdpi.com
http://www.mdpi.com/journal/robotics/

MDPI
St. Alban-Anlage 66 4052 Basel, Switzerland
http://www.mdpi.com/
___
uai mailing list
uai@engr.orst.edu
https://it.engineering.oregonstate.edu/mailman/listinfo/uai


[UAI] TSD 2021 - 1st Call for Papers

2020-12-23 Thread TSD 2021
**
 TSD 2021 - FIRST CALL FOR PAPERS
**

The twenty-fourth International Conference on Text, Speech and Dialogue 
(TSD2021)
  Olomouc, Czech Republic, September 06-09, 2021
   http://www.tsdconference.org

We are taking advantage of this opportunity to wish you Merry Christmas and
a Happy New Year! Stay safe and healthy during these uncertain and
unprecedented times.

IMPORTANT

TSD2021 is going to take place in the beautiful city of Olomouc, Czech
Republic. Thus, it is nicely colocated with Interspeech 2021 which is going
to be held in Brno, Czech Republic. Olomouc is only 77 km (48 mi) away from
Brno (30-45 min by car, 1 hour by public transport). 

COVID-19 CONSIDERATIONS

As the situation in September 2021 cannot be easily predicted, the TSD2021
organizing committee is ready to organize a virtual conference, if necessary. 

* PC members have a good experience with it since TSD2020,
* A virtual conference would mean significantly decreased conference
  fees.
* If the majority of participants could travel to the Czech Republic,
  the onsite mode of the conference is preferred. For others, there
  would be special virtual sessions. Organizers will record all the
  sessions.

All measures have been taken to ensure that the organization of the TSD
2021 conference in September 2021 is not threatened by the COVID-19
pandemic.


TSD HIGHLIGHTS

* Keynote speakers: Olga Vechtomova (University of Waterloo, Canada), Kate
  Knill (University of Cambridge, UK). Other speakers are currently under
  discussion and will be announced at the latest in the next Call for
  papers.
* The TSD2021 conference is officially recognized as an INTERSPEECH 2021
  satellite event.
* The TSD2021 conference is supported by the International Speech
  Communication Association (ISCA). It holds the status of an ISCA
  Supported Event.
* The TSD book of proceedings is traditionally published by Springer and
  regularly listed in all major citation databases: Thomson Reuters
  Conference Proceedings Citation Index, DBLP, SCOPUS, EI, INSPEC,
  COMPENDEX, etc.
* TSD offers a high-standard transparent review process - double blind,
  final reviewers' discussion.
* TSD 2021 is going to take place in the beautiful city of Olomouc, Czech
  Republic.
* The conference is organized in cooperation with the Faculty of Arts,
  Palacky university, Olomouc.
* TSD provides an all-service package (conference access and material, all
  meals, social events, etc.) for an easily affordable fee.


IMPORTANT DATES

April 18, 2021 ... Deadline for submission of contributions
May 21, 2021 . Notification of acceptance or rejection
May 31, 2021 . Deadline for submission of camera-ready papers

September 06-09, 2021  TSD2021 conference time

The TSD conference will take place as usual during the week following
Interspeech 2021 (August 30 - September 3, 2021, Czech Republic).

Unfortunately, this year there is a collision with the RANLP conference
(September 6-8, 2021, Bulgaria). We discussed the possibility of changing
the date of the conference, however, as Interspeech 2021 and TSD alike are
held in the Czech Republic (altogether close to each other), we decided to
adhere to the dates and resolve the collision differently.

If you want to attend both conferences, let us know and we will do our best
to provide you with most of the TSD2021 program virtually.


TSD SERIES

The TSD series has evolved as a prime forum for interaction between
researchers in both spoken and written language processing from all over
the world. Proceedings of the TSD conference form a book published by
Springer-Verlag in their Lecture Notes in Artificial Intelligence (LNAI)
series. The TSD proceedings are regularly indexed by Thomson Reuters
Conference Proceedings Citation Index. LNAI series are listed in all major
citation databases such as DBLP, SCOPUS, EI, INSPEC, or COMPENDEX.

The proceedings will be provided on flash drives in the form of navigable
content. Printed books will be available for an extra fee.


TOPICS

Topics of the 24th conference will include (but are not limited to):

Speech Recognition (multilingual, continuous, emotional speech,
handicapped speaker, out-of-vocabulary words, alternative way of
feature extraction, new models for acoustic and language modeling).

Corpora and Language Resources (monolingual, multilingual, text, and
spoken corpora, large web corpora, disambiguation, specialized
lexicons, dictionaries).

Speech and Spoken Language Generation (multilingual, high fidelity
speech synthesis, computer singing).

Tagging, Classification and Parsing of Text and Speech (multilingual
processing, sentiment analysis, credibility analysis, automatic text
labeling, 

[UAI] TSD 2021 - 1st Call for Papers

2020-12-23 Thread TSD 2021
**
 TSD 2021 - FIRST CALL FOR PAPERS
**

The twenty-fourth International Conference on Text, Speech and Dialogue 
(TSD2021)
  Olomouc, Czech Republic, September 06-09, 2021
   http://www.tsdconference.org

We are taking advantage of this opportunity to wish you Merry Christmas and
a Happy New Year! Stay safe and healthy during these uncertain and
unprecedented times.

IMPORTANT

TSD2021 is going to take place in the beautiful city of Olomouc, Czech
Republic. Thus, it is nicely colocated with Interspeech 2021 which is going
to be held in Brno, Czech Republic. Olomouc is only 77 km (48 mi) away from
Brno (30-45 min by car, 1 hour by public transport). 

COVID-19 CONSIDERATIONS

As the situation in September 2021 cannot be easily predicted, the TSD2021
organizing committee is ready to organize a virtual conference, if necessary. 

* PC members have a good experience with it since TSD2020,
* A virtual conference would mean significantly decreased conference
  fees.
* If the majority of participants could travel to the Czech Republic,
  the onsite mode of the conference is preferred. For others, there
  would be special virtual sessions. Organizers will record all the
  sessions.

All measures have been taken to ensure that the organization of the TSD
2021 conference in September 2021 is not threatened by the COVID-19
pandemic.


TSD HIGHLIGHTS

* Keynote speakers: Olga Vechtomova (University of Waterloo, Canada), Kate
  Knill (University of Cambridge, UK). Other speakers are currently under
  discussion and will be announced at the latest in the next Call for
  papers.
* The TSD2021 conference is officially recognized as an INTERSPEECH 2021
  satellite event.
* The TSD2021 conference is supported by the International Speech
  Communication Association (ISCA). It holds the status of an ISCA
  Supported Event.
* The TSD book of proceedings is traditionally published by Springer and
  regularly listed in all major citation databases: Thomson Reuters
  Conference Proceedings Citation Index, DBLP, SCOPUS, EI, INSPEC,
  COMPENDEX, etc.
* TSD offers a high-standard transparent review process - double blind,
  final reviewers' discussion.
* TSD 2021 is going to take place in the beautiful city of Olomouc, Czech
  Republic.
* The conference is organized in cooperation with the Faculty of Arts,
  Palacky university, Olomouc.
* TSD provides an all-service package (conference access and material, all
  meals, social events, etc.) for an easily affordable fee.


IMPORTANT DATES

April 18, 2021 ... Deadline for submission of contributions
May 21, 2021 . Notification of acceptance or rejection
May 31, 2021 . Deadline for submission of camera-ready papers

September 06-09, 2021  TSD2021 conference time

The TSD conference will take place as usual during the week following
Interspeech 2021 (August 30 - September 3, 2021, Czech Republic).

Unfortunately, this year there is a collision with the RANLP conference
(September 6-8, 2021, Bulgaria). We discussed the possibility of changing
the date of the conference, however, as Interspeech 2021 and TSD alike are
held in the Czech Republic (altogether close to each other), we decided to
adhere to the dates and resolve the collision differently.

If you want to attend both conferences, let us know and we will do our best
to provide you with most of the TSD2021 program virtually.


TSD SERIES

The TSD series has evolved as a prime forum for interaction between
researchers in both spoken and written language processing from all over
the world. Proceedings of the TSD conference form a book published by
Springer-Verlag in their Lecture Notes in Artificial Intelligence (LNAI)
series. The TSD proceedings are regularly indexed by Thomson Reuters
Conference Proceedings Citation Index. LNAI series are listed in all major
citation databases such as DBLP, SCOPUS, EI, INSPEC, or COMPENDEX.

The proceedings will be provided on flash drives in the form of navigable
content. Printed books will be available for an extra fee.


TOPICS

Topics of the 24th conference will include (but are not limited to):

Speech Recognition (multilingual, continuous, emotional speech,
handicapped speaker, out-of-vocabulary words, alternative way of
feature extraction, new models for acoustic and language modeling).

Corpora and Language Resources (monolingual, multilingual, text, and
spoken corpora, large web corpora, disambiguation, specialized
lexicons, dictionaries).

Speech and Spoken Language Generation (multilingual, high fidelity
speech synthesis, computer singing).

Tagging, Classification and Parsing of Text and Speech (multilingual
processing, sentiment analysis, credibility analysis, automatic text
labeling, 

[UAI] Announcing the 2nd Brain-Computer Interface Un-Conference (2nd BCI-UC)

2020-12-23 Thread Moritz Grosse-Wentrup
We cordially invite you to the 2nd BCI Un-Conference (BCI-UC) on
February 10 and 11, 2021, from 03:00 pm to 08:00 pm (CET)!

https://bciunconference.univie.ac.at/2nd-bci-uc/

The BCI-UC is an online un-conference that provides rapid dissemination
of novel research results in the BCI community. The BCI-UC does not
publish conference proceedings. As such, submitted abstracts can report
novel as well as already published work. The BCI-UC does not have a
program committee that reviews submitted abstracts. Instead, all
registered participants can vote which of the submitted abstracts they
would like to see presented at the un-conference. Registration and
attendance are free-of-charge. The second BCI-UC will feature keynotes
by Marco Congedo [3] on Riemannian transfer learning and by Camille
Jeunet on user-centered BCI design [4]. All presentations of the first
BCI-UC, which >300 participants attended, can be re-watched at [2].

Registration and abstract submission are open as of today [1]. Voting on
submitted abstracts begins on January 13th. Abstract submission remains
open until January 25th, 11:59 pm (CET). The voting phase ends on
January 27th, 11:59 pm (CET). We will invite the authors of the
top-voted abstracts to present their work at the un-conference.

For the 2nd BCI-UC, we solicit two types of submissions:

* _Presentations_ are applications for 20 minutes slots by a single
presenter.

* _Mini-symposia_ are applications for 60 minutes slots by multiple
presenters on a coherent topic, possibly including a panel discussion.

Submissions are text-only. The length and format of the submissions are
up to the authors -- use whatever format you consider best for
attracting up-votes! Voting procedures will not distinguish between the
two submission types, i.e., the community decides on the fraction of
presentations vs. mini-symposia.

Join us in supporting this novel community-driven dissemination of
research results!

The BCI-UC committee:
Moritz Grosse-Wentrup
Anja Meunier
Philipp Raggam
Jiachen Xu

Links:
1. https://bciunconference.univie.ac.at/register-vote/
2. https://bciunconference.univie.ac.at/1st-bci-uc/
3. https://sites.google.com/site/marcocongedo
4. https://camillejeunet.wordpress.com/


-- 
Univ.-Prof. Dr.-Ing. Moritz Grosse-Wentrup
Research Group Neuroinformatics
Faculty of Computer Science
University of Vienna
Hörlgasse 6, A-1090 Wien, Austria
moritz.grosse-went...@univie.ac.at
+43-1-4277-79610
http://neural.engineering/
___
uai mailing list
uai@engr.orst.edu
https://it.engineering.oregonstate.edu/mailman/listinfo/uai


[UAI] IUI Workshop on Exploratory Search and Interactive Data Analytics (ESIDA) - Deadline extension

2020-12-23 Thread Axel Soto
Fourth IUI Workshop on Exploratory Search and Interactive Data Analytics  
(ESIDA)

https://sites.google.com/view/esida2021/home
13 April 2021, Virtual

Important Dates (submission deadline extended):
Submission deadline: January 6, 2020 (midnight Hawaii time)
Acceptance notification: January 31, 2021
Final manuscript due: February 15, 2021
Workshop:  April 13, 2021

Workshop Description:
This workshop will be part of the ACM Intelligent User Interfaces 2021  
Conference (http://iui.acm.org/2021/). The workshop focuses on systems  
that personalize, summarize and visualize the data for supporting  
interactive information seeking and information discovery, along with  
tools that enable user modeling and methods for incorporating the user  
needs and preferences into both analytics and visualization. Our aim is to  
bring together researchers and practitioners working on different  
personalization aspects and applications of exploratory search and  
interactive data analytics. This will allow us to achieve four goals: (1)  
propose new strategies for systems that need to convey the rationale  
behind their decisions or inference, and the sequence of steps that lead  
to specific (search) results; (2) develop new user modeling and  
personalization techniques for exploratory search and interactive data  
analytics; (3) develop a common set of design principles for this type of  
systems across platforms, contexts, users and applications; (4) develop a  
set of evaluation metrics for personalization in exploratory search. The  
workshop aims to solicit submissions in the following areas of  
personalized interactive data analytics and exploratory search:


Personalized interactive exploration via interactive data analytics:
– personalization aspects in systems for exploratory search.
– cross-domain/ context-aware/ cross-platform exploratory search systems.
– interactively modelling the user’s information needs for high-recall  
information retrieval.

– new applications of exploratory search and interactive data analytics.
Data analytics:
– interactive interfaces for data-intensive platforms.
– interaction degrees of freedom.
– preprocessing vs. online processing.
– interactive data visualization evaluation of interactive systems for  
exploratory search and data analytics.

Metrics for explainable intelligent systems:
– metrics for explainable exploratory search.
– explainability and transparency in expert vs. non-expert systems.
– human-in-the-loop analytics systems.
– efficient vs. explainable analytics.
– user perception of explainability and transparency in interactive  
intelligent systems.


Organisers:
Dorota Glowacka,
Department of Computer Science, University of Helsinki (Finland),  
glowacka[at]cs.heelsinki.fi

Evangelos Milios,
Faculty of Computer Science, Dalhousie University (Canada),  
eem[at]cs.dal.ca

Axel J. Soto,
Institute for Computer Science and Engineering, UNS - CONICET (Argentina),  
axel.soto[at]cs.uns.edu.ar

Fernando V. Paulovich,
Faculty of Computer Science, Dalhousie University (Canada),  
paulovich[at]dal.ca

Denis Parra,
Department of Computer Science, Pontificia Universidad Católica (Chile) ,  
dparra[at]ing.puc.cl

Osnat (Ossi) Mokryn,
Department of  Information and Knowledge Management, University of Haifa   
(Israel), omokryn[at]univ.haifa.ac.il


Submission Information:
We encourage submissions of work in progress, concept papers, case  
studies, ongoing research projects, reports on recently completed PhD  
dissertations or recently accepted journal papers, and generally material  
that will stimulate discussion, generate useful feedback to the authors,  
encourage research collaborations and vigorous exchange of ideas on  
promising research directions, in one of the following formats:
-full papers (up to 8 pages in ACM sigconf format), which will presented  
either as contributed talks or posters
-extended abstracts (up to 4 pages in ACM sigconf format), which will be  
presented as posters with a possibility to be accompanied by a demo.

Papers can be submitted through EasyChair:
https://easychair.org/conferences/?conf=esida21

___
uai mailing list
uai@engr.orst.edu
https://it.engineering.oregonstate.edu/mailman/listinfo/uai


[UAI] [fm-announcements] CPP 2021: Call for Participation and Lightning Talks

2020-12-23 Thread Munoz, Cesar (LARC-D320) via fm-announcements
*** Call for Participation and Lightning Talks ***
*** Certified Programs and Proofs (CPP 2021) ***

 Executive Summary

* Conference dates: 17-19 January 2021 (extended to 3 days!)
* Lightning talks submission deadline: 8 January 2021 (AoE)
* Lightning talks session: 18 January 2021 at 20:00 CET
* Registration: https://popl21.sigplan.org/attending/Registration
- Early registration deadline: 10 January 2021 (!)
- Discounted registration available (see below)
* Long pre-recorded talks available by: 11 January 2021 (AoE)

 General Information

Certified Programs and Proofs (CPP) is an international conference on
practical and theoretical topics in all areas that consider formal
verification and certification as an essential paradigm. CPP spans
areas of computer science, mathematics, logic, and education. CPP is
sponsored by ACM SIGPLAN, in cooperation with ACM SIGLOG. For more
information please visit https://popl21.sigplan.org/home/CPP-2021

CPP 2021 will be co-located with POPL 2021 and will take place on
17-19 January 2021, as a virtual meeting, where all papers are
presented online. For more information about virtual conference
organization have a look here:
https://popl21.sigplan.org/venue/POPL-2021-venue
CPP will also have both long and short versions of presentations,
just that for us the short versions are 10 minutes long (not 5).

 Call for Lightning Talks

CPP 2021 will include a session of 5-minute talks where attendees can
present work-in-progress, preliminary research results, and emerging
topics. Submission of such lightning talks proposals is lightweight:
all we need is a title, an abstract, and the author names,
affiliations, and contact information.

- Lightning talks submission deadline: 8 January 2021 (AoE)
- Lightning talks session: 18 January 2021 at 20:00 CET
- Submission information coming up in the next couple of days at:
https://popl21.sigplan.org/home/CPP-2021#Call-for-Participation-and-Lightning-Talks

 Discounted Registration

We offer a $10 alternative registration fee for anyone for whom the
normal registration fees could be an impediment to participation.

 Industrial Supporters

Warm thanks to our generous industrial supporters:
- Gold supporter: JetBrains
- Silver supporters: Algorand, IOHK, and Nomadic Labs
- Bronze supporters: Arm, BedRock Systems Inc, Digital Asset,
 Galois, Informal Systems Inc, and Zilliqa

 Invited Talks

- Tobias Nipkow (Technische Universität München):
  Teaching Algorithms and Data Structures with a Proof Assistant

- Peter Sewell (University of Cambridge):
  Underpinning the foundations: Sail-based semantics, testing,
  and reasoning, for production and CHERI-enabled architectures

 Accepted Papers, Program, and Distinguished Paper Awards

The list of papers accepted at CPP 2021 is available at
https://popl21.sigplan.org/home/CPP-2021#event-overview

A preliminary program is also available:
https://popl21.sigplan.org/home/CPP-2021#program

Starting with this edition we introduced the CPP Distinguished Paper
Awards, aimed at accepted submissions that stand out with respect to
originality, significance, and clarity. The three Distinguished Papers
selected for CPP 2021 are:

- A Minimalistic Verified Bootstrapped Compiler (Proof Pearl)
  by Magnus O. Myreen

- Formalizing the Ring of Witt Vectors
  by Johan Commelin and Robert Y. Lewis

- Machine-Checked Semantic Session Typing
  by Jonas Kastberg Hinrichsen, Daniel Louwrink, Robbert Krebbers and
  Jesper Bengtson

 Contact

For any questions please contact the chairs:
Catalin Hritcu mailto:catalin.hri...@gmail.com>>,
Andrei Popescu mailto:a.pope...@sheffield.ac.uk>>,
Lennart Beringer mailto:eberi...@cs.princeton.edu>>


---
To opt-out from this mailing list, send an email to

fm-announcements-requ...@lists.nasa.gov

with the word 'unsubscribe' as subject or in the body. You can also make the 
request by contacting

fm-announcements-ow...@lists.nasa.gov 
___
uai mailing list
uai@engr.orst.edu
https://it.engineering.oregonstate.edu/mailman/listinfo/uai