Spain

ECAI 2020

CAMUS: A Framework to Build Formal Specifications for Deep Perception Systems Using Simulators

perceptual inputs

formal specification

simulators

deep learning

formal methods

## Welcome!
"I am excited to welcome you to this year’s edition of the Conference on Empirical Methods in Natural Language Processing! Importantly, it marks the 30th edition of EMNLP. With over 8,000 submissions, more than 3,000 accepted papers, and thousands of attendees, we have come a long way from that first
workshop, which had 14 accepted papers. As the field looks ahead, Suzhou is the fitting location for celebrating this milestone: rooted in a long literary tradition, yet modern and forward-looking, and home to a large share of the NLP community."<br>

*Message from the General Chair, Dirk Hovy*





<br>

EMNLP 2025

Celebrate 30 Years of EMNLP! 
EMNLP 2025 will be held in Suzhou, China from November 5th to November 9th, 2025.

technical paper

ECAI2020 featured a full programme of technical papers, as well as many AI-related events of interest for researchers, students and all attendants who are interested on contemporary AI, including:




**An extensive programme of workshops, tutorials, and invited speakers**

**The Prestigious Applications of Intelligent Systems conference (PAIS)**

**The Frontiers in AI track sessions**

**The Lab To Market event**

**The Women in AI time**

**The EU Challenges forum**

… and many more!

ECAI 2020 featured a full programme of technical papers, as well as many AI-related events of interest for researchers, students and all attendants who are interested on contemporary AI.

A Neural Topical Expansion Framework for Unstructured Persona-oriented Dialogue Generation

Generative Adversarial Networks for Mitigating Biases in Machine Learning Systems

A Two-Stage Multi-Objective Deep Reinforcement Learning Framework

Online Probabilistic Interval-based Event Calculus

Saliency Detection with Deformable Convolution and Feature Attention

Non-Monotone Submodular Maximization with Multiple Knapsacks in Static and Dynamic Settings

Extended Markov Games to Learn Complex Specifications in Multi-Agent Reinforcement Learning

Efficient Neural Network Verification via Adaptive Refinement and Adversarial Search

Conference Presentation Recording for ECAI2020 paper 'Adaptive Graph Reasoning Network for Fashion Landmark Detection'

Feature-level Ensemble Knowledge Distillation for Aggregating Knowledge from Multiple Networks

https://d3smihljt9218e.cloudfront.net/transcript/975/subtitle/c8845c56c2ae368503129546e795c1cf.vtt

English (automatic)

Downloads

Next from ECAI 2020

A Neural Topical Expansion Framework for Unstructured Persona-oriented Dialogue Generation

Similar lecture

Do Large Language Models excel in Complex Logical Reasoning with Formal Language?

.css-70qvj9{display:-webkit-box;display:-webkit-flex;display:-ms-flexbox;display:flex;-webkit-align-items:center;-webkit-box-align:center;-ms-flex-align:center;align-items:center;}Downloads

Next from ECAI 2020

A Neural Topical Expansion Framework for Unstructured Persona-oriented Dialogue Generation

Similar lecture

Do Large Language Models excel in Complex Logical Reasoning with Formal Language?

Downloads