SATToSE July 2018

sattose@list.inf.unibe.ch

5 participants
6 discussions

Changes to the SATTOSE SC
by Kim Mens 31 Jul '18

31 Jul '18

In April 2018 we had an e-mail discussion regarding changes to the SC. Here is a – hopefully correct – summary of those changes. 1. First of all, I stated that I would like to step down as SC chair and become an alumni. Kim Mens : SC Chair —> alumni 2. After that statement the name of Vadim was mentioned as new SC chair and supported by at least two SC members. Vadim Zaytsev : SC member —> SC Chair Vadim, would you accept to take on this task? SATTOSE SC, are there any objections or other volunteers to take over my role as SC chair? 3. Finally, the following 2 persons were mentioned and supported as candidates to be added to the SC : - Alexandre Bergel —> SC member - Eleni Constantinou —> SC member 4. The following persons also expressed that they were willing to step down (in the future) if needed: - Coen De Roover - Oscar Nierstrasz - Davide Di Ruscio For the moment, unless there are any objections I would propose the changes 1, 2 and 3 above. I would propose not to perform point 4 yet, in order to avoid having a drain of old SC members, unless some of those SC members insist to step down now. All these points above have been discussed before. Evidently, for point 2 it would be nice to have the new SC chair’s explicit agreement. In case Vadim agrees and I here no further objections we can enact these changes. That will then be my last act as SATTOSE SC chair. ———————————————————————————————————————————————————— Prof. Dr. Kim Mens<https://uclouvain.be/fr/repertoires/kim.mens> (Computer Science) Université catholique de Louvain<https://uclouvain.be> (UCL) ICTEAM<https://uclouvain.be/icteam> institute INGI<https://uclouvain.be/ingi> department (vice-chairman) Bâtiment Réaumur, Etage 01, Local A 111 Place Sainte Barbe 2 / L5.02.01 1348 Louvain-la-Neuve, BELGIQUE ———————————————————————————————————————————————————— • Informatics Europe Board<http://www.informatics-europe.org/about/board.html> • Science of Computer Programming Editorial Board<https://www.journals.elsevier.com/science-of-computer-programming/editorial…> • Journal of Object Technology Editorial Board<http://www.jot.fm/masthead.html> • SATToSE Seminar Steering Committee Chair<http://sattose.org> • https://www.researchgate.net/profile/Kim_Mens ————————————————————————————————————————————————————

2 1

SATToSE mailing list manager
by Kim Mens 30 Jul '18

30 Jul '18

Currently, I’m the only person managing the SATToSE mailing lists at sattose(a)list.inf.unibe.ch<mailto:sattose@list.inf.unibe.ch> Since the mailing list is moderated, that implies that sometimes the response time can be slow, for example when I am on holidays. Before, the mailing list was moderated by me and Oscar, but Oscar delegated that task to me a while back. Even though I’m stepping down as SC chair, I don’t mind continuing to manage the mailing list, but it would be good to add a second manager. Does anyone volunteer to manage the SATToSE mailing list with me? This is a low-effort job, that amounts mostly to clicking yes to mails from members and reject to mails from spam bots. ———————————————————————————————————————————————————— Prof. Dr. Kim Mens<https://uclouvain.be/fr/repertoires/kim.mens> (Computer Science) Université catholique de Louvain<https://uclouvain.be> (UCL) ICTEAM<https://uclouvain.be/icteam> institute INGI<https://uclouvain.be/ingi> department (vice-chairman) Bâtiment Réaumur, Etage 01, Local A 111 Place Sainte Barbe 2 / L5.02.01 1348 Louvain-la-Neuve, BELGIQUE ———————————————————————————————————————————————————— • Informatics Europe Board<http://www.informatics-europe.org/about/board.html> • Science of Computer Programming Editorial Board<https://www.journals.elsevier.com/science-of-computer-programming/editorial…> • Journal of Object Technology Editorial Board<http://www.jot.fm/masthead.html> • (ex-) SATToSE Seminar Steering Committee Chair<http://sattose.org> ? • https://www.researchgate.net/profile/Kim_Mens ————————————————————————————————————————————————————

2 1

Mailing list
by Kim Mens 30 Jul '18

30 Jul '18

Oops… The last three mails were not supposed to have gone to the entire mailing list but to the Steering Committee only. My mistake. Please ignore them (except if you are on the Steering Committee). ———————————————————————————————————————————————————— Prof. Dr. Kim Mens<https://uclouvain.be/fr/repertoires/kim.mens> (Computer Science) Université catholique de Louvain<https://uclouvain.be> (UCL) ICTEAM<https://uclouvain.be/icteam> institute INGI<https://uclouvain.be/ingi> department (vice-chairman) Bâtiment Réaumur, Etage 01, Local A 111 Place Sainte Barbe 2 / L5.02.01 1348 Louvain-la-Neuve, BELGIQUE ———————————————————————————————————————————————————— • Informatics Europe Board<http://www.informatics-europe.org/about/board.html> • Science of Computer Programming Editorial Board<https://www.journals.elsevier.com/science-of-computer-programming/editorial…> • Journal of Object Technology Editorial Board<http://www.jot.fm/masthead.html> • SATToSE Seminar Steering Committee Chair<http://sattose.org> • https://www.researchgate.net/profile/Kim_Mens ————————————————————————————————————————————————————

1 0

Possible venues for SATTOSE 2019
by Kim Mens 30 Jul '18

30 Jul '18

Below, I just repeat all proposals for possible venues for SATTOSE 2019 that have been mentioned so far. Since I’m stepping down as SATTOSE SC chair, I would prefer to leave the discussion to pick next year’s venue to the new chair. In the mean time, my personal opinion on the venue is : - It would be interesting to have it in Austria for once, but is there any concrete proposal? - Having it organised in France again for the reasons mentioned would be good too. - I don’t have any objection against Romain Robbes’ proposal to host it in Italy, though I think it is a pity that would imply that SATTOSE is only 2 days then. - Tunesia seems to be a bit too far. - I didn’t hear any concrete proposals for any of the other venues mentioned so for now I just consider them as loose ideas. Suggested SATToSE 2019 venues Italy IT, Bolzano, Romain Robbes We have a concrete offer from Romain here, collocated with a summer school. It would be a SATTOSE that is shorter than usual though (except for attendees that join both SATTOSE and the summer school) Tunesia Cf. a suggestion by Gregorio Robles. Should this be investigated in more detail? France In a previous discussion last year it was suggested it would be nice to have SATToSE organised in France again. What happened to that idea? That idea would revive French participation in SATToSE again since it diminished significantly in recent years. Tom suggested as possible venues: FR, Bordeaux, Xavier Blanc, Jean-Remy Falleri FR, Lille, Laurence Duchien Netherlands Are any of these concrete proposal or just an initial suggestion by Tom. NL, Groningen, Mircea Lungu or Tijs van der Storm Nl, Alexander Serebrenik, Eindhoven NL, Amsterdam, Magiel Bruntink Luxemburg LU, Luxemburg, Lionel Briand Germany DE, Hagen, Friedrich Steinmann DE, Berlin or Potsdam Austria AT, Vienna, Manuel Wimmer or someone else ??? AT, Klagenfurt, Martin Pinzger Denmark DK, Copenhagen Andrzej Warszowski Sweden SE, Chalrmers, Michel Chaudron ———————————————————————————————————————————————————— Prof. Dr. Kim Mens<https://uclouvain.be/fr/repertoires/kim.mens> (Computer Science) Université catholique de Louvain<https://uclouvain.be> (UCL) ICTEAM<https://uclouvain.be/icteam> institute INGI<https://uclouvain.be/ingi> department (vice-chairman) Bâtiment Réaumur, Etage 01, Local A 111 Place Sainte Barbe 2 / L5.02.01 1348 Louvain-la-Neuve, BELGIQUE ———————————————————————————————————————————————————— • Informatics Europe Board<http://www.informatics-europe.org/about/board.html> • Science of Computer Programming Editorial Board<https://www.journals.elsevier.com/science-of-computer-programming/editorial…> • Journal of Object Technology Editorial Board<http://www.jot.fm/masthead.html> • SATToSE Seminar Steering Committee Chair<http://sattose.org> • https://www.researchgate.net/profile/Kim_Mens ————————————————————————————————————————————————————

1 0

ASE'18: Call for participation
by Marianne Huchard 22 Jul '18

22 Jul '18

------------------------------------------------------------------------- ASE'18 Call for participation (http://www.ase2018.com/) ------------------------------------------------------------------------- 33rd IEEE/ACM International Conference on Automated Software Engineering ------------------------------------------------------------------------- Montpellier, France, September 3-7, 2018 ------------------------------------------------------------------------- Early registration deadline: August 3, 2018. ------------------------------------------------------------------------- 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) Workshops: - MASES: Sept 3rd. - 1st International Workshop on Machine Learning and Software Engineering in Symbiosis:https://mases18.github.io/ - A-Mobile: Sept 4th. - International Workshop on Advances in Mobile App Analysis:https://a-mobile.github.io/ - IWoR: Sept 4th. - 2nd International Workshop on Refactoring: https://iwor.github.io/iwor2018/ - SoftwareMining-2018: Sept 4th. - 7th International Workshop on Mining Software Repositories:http://lamda.nju.edu.cn/shenzy/softwaremining18/ 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) Co-located with: - SSBSE'18: 10th Symposium on Search-Based Software Engineering, September 8-9 REGISTRATION Online registration is open here: https://www.azur-colloque.fr/DR13/inscription/inscription/200. Early registration deadline is August 3, 2018. We look forward to seeing you in Montpellier! ------------------------------------------------------------------------------

1 0

IEEE VISSOFT 2018 deadline reminders
by Manuel Rubio Sánchez 02 Jul '18

02 Jul '18

Dear authors, here are some deadline remiders for the IEEE VISSOFT 2018 conference: - Author registration: July 9th (in 1 week) - Early bird registration: July 15th (in 2 weeks) - Camera-ready versions: July 15th (in 2 weeks) See you in Madrid this September! http://vissoft18.etsii.urjc.es/ -- Manuel Rubio Sánchez Profesor Contratado Doctor Universidad Rey Juan Carlos Departamento de Ciencias de la Computación, Arquitectura de Computadores, Lenguajes y Sistemas Informáticos y Estadística e Investigación Operativa Ampliación del Edificio de Rectorado, Despacho 2026 C/ Tulipán s/n, 28933 Móstoles, Madrid, Spain Tel: (+34) 91 488 82 86 Fax: (+34) 91 488 85 30 E-mail: manuel.rubio @ urjc.es WWW: www.lite.etsii.urjc.es/manuel.rubiosanchez/ Book: sites.google.com/view/recursiveprogrammingintro/ www.crcpress.com/Introduction-to-Recursive-Programming/Rubio-Sanchez/p/book… www.linkedin.com/in/manuel-rubio-2000 --- El software de antivirus Avast ha analizado este correo electrónico en busca de virus. https://www.avast.com/antivirus

1 0

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

SATToSE July 2018