English
Related papers

Related papers: 1st AfricaNLP Workshop Proceedings, 2020

200 papers

This volume contains the proceedings of MARS 2015, the first workshop on Models for Formal Analysis of Real Systems, held on November 23, 2015 in Suva, Fiji, as an affiliated workshop of LPAR 2015, the 20th International Conference on Logic…

Logic in Computer Science · Computer Science 2015-11-10 Rob van Glabbeek , Jan Friso Groote , Peter Höfner

This volume contains the proceedings of the 20th Workshop on Logical and Semantic Frameworks with Applications (LSFA 2025), which was held in Brasilia, the capital of Brazil, from October 7 to October 8, 2025. The aim of the LSFA series of…

Logic in Computer Science · Computer Science 2025-09-30 Haniel Barbosa , Christophe Ringeissen

This report aggregates the papers presented at the twenty-first annual Scheme and Functional Programming Workshop, hosted on August 28th, 2020, online and co-located with the twenty-fifth International Conference on Functional Programming.…

Programming Languages · Computer Science 2021-01-19 Baptiste Saleil , Michael D. Adams

The success of Pre-Trained Models (PTMs) has reshaped the development of Natural Language Processing (NLP). Yet, it is not easy to obtain high-performing models and deploy them online for industrial practitioners. To bridge this gap,…

Computation and Language · Computer Science 2023-03-14 Chengyu Wang , Minghui Qiu , Chen Shi , Taolin Zhang , Tingting Liu , Lei Li , Jianing Wang , Ming Wang , Jun Huang , Wei Lin

This volume constitutes the pre-proceedings of the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016), held on 10-12th October 2017 in Namur, Belgium, and co-located with the 19th International…

Programming Languages · Computer Science 2017-09-01 Fabio Fioravanti , John P. Gallagher

This volume contains the proceedings of the 7th Working Formal Methods Symposium, which was held at the University of Bucharest, September 21-22, 2023.

Logic in Computer Science · Computer Science 2023-09-25 Horaţiu Cheval , Laurenţiu Leuştean , Andrei Sipoş

This volume contains the proceedings of EXPRESS/SOS 2023: the Combined 30th International Workshop on Expressiveness in Concurrency and the 20th Workshop on Structural Operational Semantics, which was held in Antwerp, Belgium, as an…

Logic in Computer Science · Computer Science 2023-09-13 Claudio Antares Mezzina , Georgiana Caltais

The 16th International Conference on Automata and Formal Languages (AFL 2023) was held in Eger, September 5-7, 2023. It was organized by the Eszterh\'azy K\'aroly Catholic University of Eger, Hungary, and the University of Szeged, Hungary.…

Formal Languages and Automata Theory · Computer Science 2023-09-06 Zsolt Gazdag , Szabolcs Iván , Gergely Kovásznai

This is the Proceedings of the eleventh Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP) 2018, which was held in Oxford, UK, July 18th, 2018.

Artificial Intelligence · Computer Science 2019-11-22 Jorge Fandinno , Johannes Fichte

This proceedings contains abstracts and position papers for the work to be presented at the fourth Logic and Practice of Programming (LPOP) Workshop. The workshop is to be held in Dallas, Texas, USA, and as a hybrid event, on October 13,…

Artificial Intelligence · Computer Science 2024-10-29 Anil Nerode , Yanhong A. Liu

This volume contains a selection of the papers presented at the 2nd International Workshop on Linearity (LINEARITY'2012), which took place 1 April 2012 in Tallinn, Estonia. The workshop was a one-day satellite event of ETAPS 2012, the 15th…

Logic in Computer Science · Computer Science 2012-11-16 Sandra Alves , Ian Mackie

Natural Language Processing (NLP) is becoming a dominant subset of artificial intelligence as the need to help machines understand human language looks indispensable. Several NLP applications are ubiquitous, partly due to the myriad of…

Computation and Language · Computer Science 2026-02-25 Toheeb Aduramomi Jimoh , Tabea De Wille , Nikola S. Nikolov

This EPTCS volume contains the proceedings for the Fifth International Workshop on Formal Methods for Autonomous Systems (FMAS 2023), which was held on the 15th and 16th of November 2023. FMAS 2023 was co-located with 18th International…

Artificial Intelligence · Computer Science 2023-11-16 Marie Farrell , Matt Luckcuck , Mario Gleirscher , Maike Schwammberger

These are the proceedings of the Second International Workshop on Safe Control of Autonomous Vehicles, which took place on the 10th of April 2018 in Porto, Portugal as an affiliated workshop of CSPWeek. The task of this workshop is to…

Systems and Control · Computer Science 2018-04-11 Mario Gleirscher , Stefan Kugele , Sven Linker

This volume includes a selection of papers presented at the Workshop on Advancing Artificial Intelligence through Theory of Mind held at AAAI 2025 in Philadelphia US on 3rd March 2025. The purpose of this volume is to provide an open access…

Artificial Intelligence · Computer Science 2025-05-08 Mouad Abrini , Omri Abend , Dina Acklin , Henny Admoni , Gregor Aichinger , Nitay Alon , Zahra Ashktorab , Ashish Atreja , Moises Auron , Alexander Aufreiter , Raghav Awasthi , Soumya Banerjee , Joe M. Barnby , Rhea Basappa , Severin Bergsmann , Djallel Bouneffouf , Patrick Callaghan , Marc Cavazza , Thierry Chaminade , Sonia Chernova , Mohamed Chetouan , Moumita Choudhury , Axel Cleeremans , Jacek B. Cywinski , Fabio Cuzzolin , Hokin Deng , N'yoma Diamond , Camilla Di Pasquasio , Guillaume Dumas , Max van Duijn , Mahapatra Dwarikanath , Qingying Gao , Ashok Goel , Rebecca Goldstein , Matthew Gombolay , Gabriel Enrique Gonzalez , Amar Halilovic , Tobias Halmdienst , Mahimul Islam , Julian Jara-Ettinger , Natalie Kastel , Renana Keydar , Ashish K. Khanna , Mahdi Khoramshahi , JiHyun Kim , MiHyeon Kim , YoungBin Kim , Senka Krivic , Nikita Krasnytskyi , Arun Kumar , JuneHyoung Kwon , Eunju Lee , Shane Lee , Peter R. Lewis , Xue Li , Yijiang Li , Michal Lewandowski , Nathan Lloyd , Matthew B. Luebbers , Dezhi Luo , Haiyun Lyu , Dwarikanath Mahapatra , Kamal Maheshwari , Mallika Mainali , Piyush Mathur , Patrick Mederitsch , Shuwa Miura , Manuel Preston de Miranda , Reuth Mirsky , Shreya Mishra , Nina Moorman , Katelyn Morrison , John Muchovej , Bernhard Nessler , Felix Nessler , Hieu Minh Jord Nguyen , Abby Ortego , Francis A. Papay , Antoine Pasquali , Hamed Rahimi , Charumathi Raghu , Amanda Royka , Stefan Sarkadi , Jaelle Scheuerman , Simon Schmid , Paul Schrater , Anik Sen , Zahra Sheikhbahaee , Ke Shi , Reid Simmons , Nishant Singh , Mason O. Smith , Ramira van der Meulen , Anthia Solaki , Haoran Sun , Viktor Szolga , Matthew E. Taylor , Travis Taylor , Sanne Van Waveren , Juan David Vargas , Rineke Verbrugge , Eitan Wagner , Justin D. Weisz , Ximing Wen , William Yeoh , Wenlong Zhang , Michelle Zhao , Shlomo Zilberstein

This volume contains the proceedings of the Fourth and Fifth International Workshops on Trends in Functional Programming in Education, TFPIE 2015 and TFPIE 2016, which were held on June 2, 2015 in Sophia-Antipolis, France, and on June 7,…

Programming Languages · Computer Science 2016-11-29 Johan Jeuring , Jay McCarthy

Large language models (LLMs) have gained popularity recently due to their outstanding performance in various downstream Natural Language Processing (NLP) tasks. However, low-resource languages are still lagging behind current…

Despite representing nearly one-third of the world's languages, African languages remain critically underserved by modern NLP technologies, with 88\% classified as severely underrepresented or completely ignored in computational…

This is the Proceedings of the 3rd International Workshop on Mining and Learning in the Legal Domain (MLLD-23) which took place in conjunction with the 32nd ACM International Conference on Information and Knowledge Management (CIKM-2023) at…

Computers and Society · Computer Science 2023-11-21 Masoud Makrehchi , Dell Zhang , Alina Petrova , John Armour

This document describes the findings of the Third Workshop on Neural Generation and Translation, held in concert with the annual conference of the Empirical Methods in Natural Language Processing (EMNLP 2019). First, we summarize the…

Computation and Language · Computer Science 2019-10-31 Hiroaki Hayashi , Yusuke Oda , Alexandra Birch , Ioannis Konstas , Andrew Finch , Minh-Thang Luong , Graham Neubig , Katsuhito Sudoh