Changes to the SATTOSE SC
by Kim Mens
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/editori...>
• 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
————————————————————————————————————————————————————
5 years, 4 months
SATToSE mailing list manager
by Kim Mens
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/editori...>
• 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
————————————————————————————————————————————————————
5 years, 4 months
Possible venues for SATTOSE 2019
by Kim Mens
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/editori...>
• 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
————————————————————————————————————————————————————
5 years, 4 months
ASE'18: Call for participation
by Marianne Huchard
-------------------------------------------------------------------------
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!
------------------------------------------------------------------------------
5 years, 4 months
