CPAchecker participation in Google Summer of Code 2024
8 views
Skip to first unread message
Philipp Wendler
Feb 22, 2024, 1:29:08 AMFeb 22
to CPAchecker Announce, CPAchecker Users, CPAchecker Developers
Dear users, developers, and friends of CPAchecker,
we are glad to announce that our group has again be accepted by Google
for participation in this year's "summer of code"
(https://summerofcode.withgoogle.com/).
In this program, Google pays new contributors for their work on accepted
open-source projects.
If you are interested in participating, either as a contributor, or as a
mentor for a project that you would like somebody to work on, please
contact us at in...@sosy-lab.org!
More information and existing project ideas for working on CPAchecker
can be found on our respective webpage:
https://www.sosy-lab.org/gsoc/
Greetings
Philipp
--
Philipp Wendler
Software and Computational Systems Lab
LMU Munich, Germany
Oettingenstr. 67 Raum F008 - Tel.: 089/2180-9181
we are glad to announce that our group has again be accepted by Google
for participation in this year's "summer of code"
(https://summerofcode.withgoogle.com/).
In this program, Google pays new contributors for their work on accepted
open-source projects.
If you are interested in participating, either as a contributor, or as a
mentor for a project that you would like somebody to work on, please
contact us at in...@sosy-lab.org!
More information and existing project ideas for working on CPAchecker
can be found on our respective webpage:
https://www.sosy-lab.org/gsoc/
Greetings
Philipp
--
Philipp Wendler
Software and Computational Systems Lab
LMU Munich, Germany
Oettingenstr. 67 Raum F008 - Tel.: 089/2180-9181
Reply all
Reply to author
Forward
0 new messages