If you would like to discuss an interesting paper, give a tutorial, or pitch an idea at ARA, please contact the organisers.
Please consider the following guidelines:
- Paper discussions should feature recent work in the areas of interest to ARA, and should generally include a shosrt (~30 minute) presentation of the paper, followed by a discussion.
- Tutorials can be a theoretical introduction tailored to researchers in CS (e.g., a proof system, a branch of theoretical analysis for ML) or a practical introduction to a tool (e.g., an automated theorem prover, a machine learning library).
- Project pitches should outline a research project that could be pursued as a master’s thesis or research internship in 5-10 minutes. Ideas are always welcome.