Download the call for participation here !

Please come and join us in Montpellier, south of France on September 3-7, 2018 for the 33rd IEEE/ACM International Conference on Automated Software Engineering !

The IEEE/ACM Automated Software Engineering (ASE) Conference series is the premier research forum for automated software engineering. Each year, it brings together researchers and practitioners from academia and industry to discuss foundations, techniques, and tools for automating the analysis, design, implementation, testing, and maintenance of large software systems.

Highlights of ASE 2018 include three top-level keynotes, four workshops and four tutorials.

Around 80 high quality contributions are selected so far as technical research papers, experience papers and new idea papers. This program will soon be completed by tool demonstrations and workshop papers.

Keynotes:

• Roberto Di Cosmo. September 5th. Software Heritage: collecting, preserving and sharing all our source code (Softwareheritage.org, Inria initiative with UNESCO partnership)
• Jane Cleland-Huang. September 6th. Automated Requirements Engineering. Challenges with examples from small unmanned aerial systems.
• Gail C. Murphy. September 7th. The Need for Context in Software Engineering (2018 IEEE Comptuer Science Harlan D. Mills Award)

Doctoral symposium, Sept 3rd:

• keynote speech by Benoit Baudry (KTH Royal Institute of Technology in Stockholm, Sweden)
• eight doctoral students presentations

Workshops:

• Sept 3rd: MASES - 1st International Workshop on Machine Learning and Software Engineering in Symbiosis (https://mases18.github.io/) and SoftwareMining-2018 - 7th International Workshop on Software Mining (http://lamda.nju.edu.cn/shenzy/softwaremining18/)
• Sept 4th: A-Mobile - International Workshop on Advances in Mobile App Analysis (https://a-mobile.github.io/)
• Sept 4th: IWoR - 2nd International Workshop on Refactoring ( https://iwor.github.io/iwor2018/)

ASE 2018 is also co-located with the 10th Symposium on Search-Based Software Engineering http://ssbse18.irisa.fr/

Tutorials:

• Automated Formal Proofs for Program Verification (Sept 3rd)
• Let the CI spot the holes in tested code with the Descartes cool (Sept 3rd)
• Re-engineering Software Variability into Software Product Line (Sept 4th)
• Model your modeling workbench, and generate code and documentation from your models (Sept 4th)

Registration:
Online registration is open here: https://www.azur-colloque.fr/DR13/inscription/inscription/200.
Early registration deadline is August 3, 2018.