Conference reports
Abstract
This section is compiled from reports of recent events sponsored or run in cooperation with ACM SIGAI. In general these reports were written and submitted by the conference organisers.
Recommendations
Conference Reports
Design, Automation and Test in Europe (DATE 05) took place in Munich, from 7 to 11 March 2005. The conference devoted many technical sessions to the trend toward SoC, discussing low power, formal verification, and mixed-signal design, among others. ...
Conference reports
In this installment of the conference report column, Cláudia Nalon, Daniele Nantes Sobrinho, Elaine Pimentel, and João Marcos report on the Brasília Spring on Automated Reasoning. This event brought to South America a whole week of conferences, ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
March 2022
11 pages
Copyright © 2022 Copyright is held by the owner/author(s).
Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for third-party components of this work must be honored. For all other uses, contact the Owner/Author.
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 25 July 2022
Published in SIGAI-AIMATTERS Volume 8, Issue 1
Check for updates
Qualifiers
- Research-article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 14Total Downloads
- Downloads (Last 12 months)3
- Downloads (Last 6 weeks)1
Reflects downloads up to 14 Nov 2024
Other Metrics
Citations
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in