https://wiki.uni-due.de/ifip/index.php?action=history&feed=atom&title=Main_Page
Main Page - Revision history
2026-05-30T07:56:16Z
Revision history for this page on the wiki
MediaWiki 1.39.10
https://wiki.uni-due.de/ifip/index.php?title=Main_Page&diff=256&oldid=prev
JuliaLawall: /* Working groups */ 2.13 ended
2025-10-22T07:25:51Z
<p><span dir="auto"><span class="autocomment">Working groups: </span> 2.13 ended</span></p>
<table style="background-color: #fff; color: #202122;" data-mw="interface">
<col class="diff-marker" />
<col class="diff-content" />
<col class="diff-marker" />
<col class="diff-content" />
<tr class="diff-title" lang="en">
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td>
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 09:25, 22 October 2025</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l88">Line 88:</td>
<td colspan="2" class="diff-lineno">Line 88:</td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* [http://www.ifip.org/wg-2.10 WG 2.10 - Software Architecture] <br> Being reformed. Contact: Prof. Michael GOEDICKE</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* [http://www.ifip.org/wg-2.10 WG 2.10 - Software Architecture] <br> Being reformed. Contact: Prof. Michael GOEDICKE</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* [http://wiki.hh.se/wg211 WG 2.11 - Program Generation] <br> Chair: Prof. Jacques CARETTE, Vice-Chair: Prof. Jeremy YALLOP</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* [http://wiki.hh.se/wg211 WG 2.11 - Program Generation] <br> Chair: Prof. Jacques CARETTE, Vice-Chair: Prof. Jeremy YALLOP</div></td></tr>
<tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del style="font-weight: bold; text-decoration: none;">* [http://www.ifip.org/wg-2.13 WG 2.13 - Open Source Software] <br> Chair: Prof. Stefano ZACCHIROLI, Vice-Chair: Prof. Gregorio ROBLES, Secretary: Prof. Joseph FELLER</del></div></td><td colspan="2" class="diff-side-added"></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* [http://ifip-wg-sos.deib.polimi.it WG 2.14/6.12/8.10 - Service-Oriented Systems] <br> Chair: Prof. Stefan SCHULTE, Vice Chairs: Prof. Jacopo SOLDANI, Secretary: Damian Andrew TAMBURRI</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* [http://ifip-wg-sos.deib.polimi.it WG 2.14/6.12/8.10 - Service-Oriented Systems] <br> Chair: Prof. Stefan SCHULTE, Vice Chairs: Prof. Jacopo SOLDANI, Secretary: Damian Andrew TAMBURRI</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* [https://www.lri.fr/~filliatr/1.9/ WG 2.15/1.9 - Verified Software] <br> Chair: Prof. Tiziana MARGARIA, Vice Chair: Dr. Jean-Christophe FILLIATRE, Secretary: Dr. Natarajan SHANKAR</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* [https://www.lri.fr/~filliatr/1.9/ WG 2.15/1.9 - Verified Software] <br> Chair: Prof. Tiziana MARGARIA, Vice Chair: Dr. Jean-Christophe FILLIATRE, Secretary: Dr. Natarajan SHANKAR</div></td></tr>
</table>
JuliaLawall
https://wiki.uni-due.de/ifip/index.php?title=Main_Page&diff=250&oldid=prev
JuliaLawall: /* Minutes of Meetings */
2025-07-27T15:19:00Z
<p><span dir="auto"><span class="autocomment">Minutes of Meetings</span></span></p>
<table style="background-color: #fff; color: #202122;" data-mw="interface">
<col class="diff-marker" />
<col class="diff-content" />
<col class="diff-marker" />
<col class="diff-content" />
<tr class="diff-title" lang="en">
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td>
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 17:19, 27 July 2025</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l54">Line 54:</td>
<td colspan="2" class="diff-lineno">Line 54:</td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>== Minutes of Meetings ==</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>== Minutes of Meetings ==</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br/></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br/></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">* [[July 2025]]</ins></div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* [[July 2024]]</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* [[July 2024]]</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* [[July 2023]]</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* [[July 2023]]</div></td></tr>
</table>
JuliaLawall
https://wiki.uni-due.de/ifip/index.php?title=Main_Page&diff=249&oldid=prev
JuliaLawall at 15:18, 27 July 2025
2025-07-27T15:18:23Z
<p></p>
<table style="background-color: #fff; color: #202122;" data-mw="interface">
<col class="diff-marker" />
<col class="diff-content" />
<col class="diff-marker" />
<col class="diff-content" />
<tr class="diff-title" lang="en">
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td>
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 17:18, 27 July 2025</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l89">Line 89:</td>
<td colspan="2" class="diff-lineno">Line 89:</td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* [http://www.ifip.org/wg-2.13 WG 2.13 - Open Source Software] <br> Chair: Prof. Stefano ZACCHIROLI, Vice-Chair: Prof. Gregorio ROBLES, Secretary: Prof. Joseph FELLER</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* [http://www.ifip.org/wg-2.13 WG 2.13 - Open Source Software] <br> Chair: Prof. Stefano ZACCHIROLI, Vice-Chair: Prof. Gregorio ROBLES, Secretary: Prof. Joseph FELLER</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* [http://ifip-wg-sos.deib.polimi.it WG 2.14/6.12/8.10 - Service-Oriented Systems] <br> Chair: Prof. Stefan SCHULTE, Vice Chairs: Prof. Jacopo SOLDANI, Secretary: Damian Andrew TAMBURRI</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* [http://ifip-wg-sos.deib.polimi.it WG 2.14/6.12/8.10 - Service-Oriented Systems] <br> Chair: Prof. Stefan SCHULTE, Vice Chairs: Prof. Jacopo SOLDANI, Secretary: Damian Andrew TAMBURRI</div></td></tr>
<tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>* [https://www.lri.fr/~filliatr/1.9/ WG 2.15/1.9 - Verified Software] <br> Chair: Prof. Tiziana MARGARIA, Vice Chair: Dr. <del style="font-weight: bold; text-decoration: none;">Natarajan SHANKAR</del>, Secretary: Dr. <del style="font-weight: bold; text-decoration: none;">Jean-Christophe FILLIATRE</del></div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>* [https://www.lri.fr/~filliatr/1.9/ WG 2.15/1.9 - Verified Software] <br> Chair: Prof. Tiziana MARGARIA, Vice Chair: Dr. <ins style="font-weight: bold; text-decoration: none;">Jean-Christophe FILLIATRE</ins>, Secretary: Dr. <ins style="font-weight: bold; text-decoration: none;">Natarajan SHANKAR</ins></div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* [http://program-transformation.org/WGLD WG 2.16 – Programming Language Design] <br> Chair: Dr. Tijs VAN DER STORM, Vice Chair: Dr. Heather MILLER, Secretary: Mr. Jonathan EDWARDS</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* [http://program-transformation.org/WGLD WG 2.16 – Programming Language Design] <br> Chair: Dr. Tijs VAN DER STORM, Vice Chair: Dr. Heather MILLER, Secretary: Mr. Jonathan EDWARDS</div></td></tr>
<tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>* [https://tva.kastel.kit.edu/aktivitaeten/IFIP_Working_Group_on_Foundations_of_Quantum_Computation.php WG 1.11/2.17 - Foundations of Quantum Computation] <br> Chair: Prof. Aleks KISSINGER, Secretary: Luís Manuel Dias Coelho Soares Barbosa</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>* [https://tva.kastel.kit.edu/aktivitaeten/IFIP_Working_Group_on_Foundations_of_Quantum_Computation.php WG 1.11/2.17 - Foundations of Quantum Computation] <br> Chair: Prof. Aleks KISSINGER, Secretary: Luís Manuel Dias Coelho Soares<ins style="font-weight: bold; text-decoration: none;">-</ins>Barbosa</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br/></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br/></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>== National representatives ==</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>== National representatives ==</div></td></tr>
</table>
JuliaLawall
https://wiki.uni-due.de/ifip/index.php?title=Main_Page&diff=248&oldid=prev
JuliaLawall: /* Working groups */
2024-12-25T09:10:41Z
<p><span dir="auto"><span class="autocomment">Working groups</span></span></p>
<table style="background-color: #fff; color: #202122;" data-mw="interface">
<col class="diff-marker" />
<col class="diff-content" />
<col class="diff-marker" />
<col class="diff-content" />
<tr class="diff-title" lang="en">
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td>
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 11:10, 25 December 2024</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l89">Line 89:</td>
<td colspan="2" class="diff-lineno">Line 89:</td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* [http://www.ifip.org/wg-2.13 WG 2.13 - Open Source Software] <br> Chair: Prof. Stefano ZACCHIROLI, Vice-Chair: Prof. Gregorio ROBLES, Secretary: Prof. Joseph FELLER</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* [http://www.ifip.org/wg-2.13 WG 2.13 - Open Source Software] <br> Chair: Prof. Stefano ZACCHIROLI, Vice-Chair: Prof. Gregorio ROBLES, Secretary: Prof. Joseph FELLER</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* [http://ifip-wg-sos.deib.polimi.it WG 2.14/6.12/8.10 - Service-Oriented Systems] <br> Chair: Prof. Stefan SCHULTE, Vice Chairs: Prof. Jacopo SOLDANI, Secretary: Damian Andrew TAMBURRI</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* [http://ifip-wg-sos.deib.polimi.it WG 2.14/6.12/8.10 - Service-Oriented Systems] <br> Chair: Prof. Stefan SCHULTE, Vice Chairs: Prof. Jacopo SOLDANI, Secretary: Damian Andrew TAMBURRI</div></td></tr>
<tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>* [https://www.lri.fr/~filliatr/1.9/ WG 2.15/1.9 - Verified Software] <br> Chair: Prof. <del style="font-weight: bold; text-decoration: none;">Jim WOODCOCK</del>, Vice Chair: <del style="font-weight: bold; text-decoration: none;">Jean-Christophe FILLIATRE</del>, Secretary: Dr. <del style="font-weight: bold; text-decoration: none;">Natarajan SHANKAR</del></div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>* [https://www.lri.fr/~filliatr/1.9/ WG 2.15/1.9 - Verified Software] <br> Chair: Prof. <ins style="font-weight: bold; text-decoration: none;">Tiziana MARGARIA</ins>, Vice Chair: <ins style="font-weight: bold; text-decoration: none;">Dr. Natarajan SHANKAR</ins>, Secretary: Dr. <ins style="font-weight: bold; text-decoration: none;">Jean-Christophe FILLIATRE</ins></div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* [http://program-transformation.org/WGLD WG 2.16 – Programming Language Design] <br> Chair: Dr. Tijs VAN DER STORM, Vice Chair: Dr. Heather MILLER, Secretary: Mr. Jonathan EDWARDS</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* [http://program-transformation.org/WGLD WG 2.16 – Programming Language Design] <br> Chair: Dr. Tijs VAN DER STORM, Vice Chair: Dr. Heather MILLER, Secretary: Mr. Jonathan EDWARDS</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* [https://tva.kastel.kit.edu/aktivitaeten/IFIP_Working_Group_on_Foundations_of_Quantum_Computation.php WG 1.11/2.17 - Foundations of Quantum Computation] <br> Chair: Prof. Aleks KISSINGER, Secretary: Luís Manuel Dias Coelho Soares Barbosa</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* [https://tva.kastel.kit.edu/aktivitaeten/IFIP_Working_Group_on_Foundations_of_Quantum_Computation.php WG 1.11/2.17 - Foundations of Quantum Computation] <br> Chair: Prof. Aleks KISSINGER, Secretary: Luís Manuel Dias Coelho Soares Barbosa</div></td></tr>
</table>
JuliaLawall
https://wiki.uni-due.de/ifip/index.php?title=Main_Page&diff=247&oldid=prev
JuliaLawall: /* Working groups */
2024-12-25T09:04:02Z
<p><span dir="auto"><span class="autocomment">Working groups</span></span></p>
<table style="background-color: #fff; color: #202122;" data-mw="interface">
<col class="diff-marker" />
<col class="diff-content" />
<col class="diff-marker" />
<col class="diff-content" />
<tr class="diff-title" lang="en">
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td>
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 11:04, 25 December 2024</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l84">Line 84:</td>
<td colspan="2" class="diff-lineno">Line 84:</td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* [http://www.ifip.org/wg-2.7 WG 2.7/13.4 - User Interface Engineering] <br> Chair: Prof. Davide SPANO, Vice-Chair: Prof. Anke DITTMAR, Secretary: Prof. Sophie DUPUY-CHESSA </div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* [http://www.ifip.org/wg-2.7 WG 2.7/13.4 - User Interface Engineering] <br> Chair: Prof. Davide SPANO, Vice-Chair: Prof. Anke DITTMAR, Secretary: Prof. Sophie DUPUY-CHESSA </div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* [https://ifip-wg28.github.io/ WG 2.8 - Functional Programming] <br> Chair: Prof. Peter THIEMANN, Secretary: Prof. John REPPY</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* [https://ifip-wg28.github.io/ WG 2.8 - Functional Programming] <br> Chair: Prof. Peter THIEMANN, Secretary: Prof. John REPPY</div></td></tr>
<tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>* [http://www.ifip29.org/ WG 2.9 - Software Requirements Engineering] <br> Chair: Prof. <del style="font-weight: bold; text-decoration: none;">Jane CLELAND-HUANG</del>, Vice-chair: Prof. <del style="font-weight: bold; text-decoration: none;">Andrea ZISMAN</del>, Secretary: Prof. Liliana PASQUALE</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>* [http://www.ifip29.org/ WG 2.9 - Software Requirements Engineering] <br> Chair: Prof. <ins style="font-weight: bold; text-decoration: none;">Andrea ZISMAN</ins>, Vice-chair: Prof. <ins style="font-weight: bold; text-decoration: none;">Travis D. BREAUX</ins>, Secretary: Prof. Liliana PASQUALE</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* [http://www.ifip.org/wg-2.10 WG 2.10 - Software Architecture] <br> Being reformed. Contact: Prof. Michael GOEDICKE</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* [http://www.ifip.org/wg-2.10 WG 2.10 - Software Architecture] <br> Being reformed. Contact: Prof. Michael GOEDICKE</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* [http://wiki.hh.se/wg211 WG 2.11 - Program Generation] <br> Chair: Prof. Jacques CARETTE, Vice-Chair: Prof. Jeremy YALLOP</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* [http://wiki.hh.se/wg211 WG 2.11 - Program Generation] <br> Chair: Prof. Jacques CARETTE, Vice-Chair: Prof. Jeremy YALLOP</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* [http://www.ifip.org/wg-2.13 WG 2.13 - Open Source Software] <br> Chair: Prof. Stefano ZACCHIROLI, Vice-Chair: Prof. Gregorio ROBLES, Secretary: Prof. Joseph FELLER</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* [http://www.ifip.org/wg-2.13 WG 2.13 - Open Source Software] <br> Chair: Prof. Stefano ZACCHIROLI, Vice-Chair: Prof. Gregorio ROBLES, Secretary: Prof. Joseph FELLER</div></td></tr>
<tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>* [http://ifip-wg-sos.deib.polimi.it WG 2.14/6.12/8.10 - Service-Oriented Systems] <br> Chair: Prof. <del style="font-weight: bold; text-decoration: none;">Pierluigi PLEBANI</del>, Vice Chairs: <del style="font-weight: bold; text-decoration: none;">Stefan SCHULTE</del>, Secretary: Damian Andrew TAMBURRI</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>* [http://ifip-wg-sos.deib.polimi.it WG 2.14/6.12/8.10 - Service-Oriented Systems] <br> Chair: Prof. <ins style="font-weight: bold; text-decoration: none;">Stefan SCHULTE</ins>, Vice Chairs: <ins style="font-weight: bold; text-decoration: none;">Prof. Jacopo SOLDANI</ins>, Secretary: Damian Andrew TAMBURRI</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* [https://www.lri.fr/~filliatr/1.9/ WG 2.15/1.9 - Verified Software] <br> Chair: Prof. Jim WOODCOCK, Vice Chair: Jean-Christophe FILLIATRE, Secretary: Dr. Natarajan SHANKAR</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* [https://www.lri.fr/~filliatr/1.9/ WG 2.15/1.9 - Verified Software] <br> Chair: Prof. Jim WOODCOCK, Vice Chair: Jean-Christophe FILLIATRE, Secretary: Dr. Natarajan SHANKAR</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* [http://program-transformation.org/WGLD WG 2.16 – Programming Language Design] <br> Chair: Dr. Tijs VAN DER STORM, Vice Chair: Dr. Heather MILLER, Secretary: Mr. Jonathan EDWARDS</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* [http://program-transformation.org/WGLD WG 2.16 – Programming Language Design] <br> Chair: Dr. Tijs VAN DER STORM, Vice Chair: Dr. Heather MILLER, Secretary: Mr. Jonathan EDWARDS</div></td></tr>
</table>
JuliaLawall
https://wiki.uni-due.de/ifip/index.php?title=Main_Page&diff=246&oldid=prev
JuliaLawall: /* Working groups */
2024-12-25T08:45:13Z
<p><span dir="auto"><span class="autocomment">Working groups</span></span></p>
<table style="background-color: #fff; color: #202122;" data-mw="interface">
<col class="diff-marker" />
<col class="diff-content" />
<col class="diff-marker" />
<col class="diff-content" />
<tr class="diff-title" lang="en">
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td>
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 10:45, 25 December 2024</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l79">Line 79:</td>
<td colspan="2" class="diff-lineno">Line 79:</td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* [http://wg22.labri.fr/ WG 2.2 - Formal Description of Programming Concepts] <br> Chair: Prof. Barbara KÖNIG, Vice Chair: Prof. Ugo DAL LAGO, Secretary: Prof. Dr. Markus MÜLLER-OLM</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* [http://wg22.labri.fr/ WG 2.2 - Formal Description of Programming Concepts] <br> Chair: Prof. Barbara KÖNIG, Vice Chair: Prof. Ugo DAL LAGO, Secretary: Prof. Dr. Markus MÜLLER-OLM</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* [https://en.wikipedia.org/wiki/IFIP_Working_Group_2.3 WG 2.3 - Programming Methodology] <br> Chair: Dr. Rajeev JOSHI, Vice-chair: Prof. Sophia DROSSOPOULOU, Secretary: Dr. Alberto GRIGGIO</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* [https://en.wikipedia.org/wiki/IFIP_Working_Group_2.3 WG 2.3 - Programming Methodology] <br> Chair: Dr. Rajeev JOSHI, Vice-chair: Prof. Sophia DROSSOPOULOU, Secretary: Dr. Alberto GRIGGIO</div></td></tr>
<tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>* [http://www.ifip.org/wg-2.4 WG 2.4 - Software Implementation Technology] <br> Chair: <del style="font-weight: bold; text-decoration: none;">Dr</del>. <del style="font-weight: bold; text-decoration: none;">Philip LEVY</del>, Vice Chair: Prof. <del style="font-weight: bold; text-decoration: none;">Anders MOELLER</del>, Secretary: <del style="font-weight: bold; text-decoration: none;">Prof</del>. <del style="font-weight: bold; text-decoration: none;">Welf LOEWE</del></div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>* [http://www.ifip.org/wg-2.4 WG 2.4 - Software Implementation Technology] <br> Chair: <ins style="font-weight: bold; text-decoration: none;">Prof</ins>. <ins style="font-weight: bold; text-decoration: none;">Anders MOELLER</ins>, Vice Chair: Prof. <ins style="font-weight: bold; text-decoration: none;">Michael PRADEL</ins>, Secretary: <ins style="font-weight: bold; text-decoration: none;">Dr</ins>. <ins style="font-weight: bold; text-decoration: none;">Tucker TAFT</ins></div></td></tr>
<tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>* [https://wg25.taa.univie.ac.at/ WG 2.5 - Numerical Software] <br> Chair: <del style="font-weight: bold; text-decoration: none;">Prof</del>. <del style="font-weight: bold; text-decoration: none;">Ronald COOLS</del>, Vice-Chair: <del style="font-weight: bold; text-decoration: none;">Dr</del>. <del style="font-weight: bold; text-decoration: none;">Andrew DIENSTFREY</del>, Secretary: <del style="font-weight: bold; text-decoration: none;">Prof. Wilfried GANSTERER</del></div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>* [https://wg25.taa.univie.ac.at/ WG 2.5 - Numerical Software] <br> Chair: <ins style="font-weight: bold; text-decoration: none;">Dr</ins>. <ins style="font-weight: bold; text-decoration: none;">Andrew DIENSTFREY</ins>, Vice-Chair: <ins style="font-weight: bold; text-decoration: none;">Prof</ins>. <ins style="font-weight: bold; text-decoration: none;">Amparo GIL</ins>, Secretary: <ins style="font-weight: bold; text-decoration: none;">TBA</ins></div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* [http://www.cs.put.poznan.pl/ifip-wg26/ WG 2.6 - Database] <br> Chair: Prof. Robert WREMBEL, Vice-Chair: Prof. Paolo CHERAVOLO, Secretary: Prof. Sven GROPPE</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* [http://www.cs.put.poznan.pl/ifip-wg26/ WG 2.6 - Database] <br> Chair: Prof. Robert WREMBEL, Vice-Chair: Prof. Paolo CHERAVOLO, Secretary: Prof. Sven GROPPE</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* [http://www.ifip.org/wg-2.7 WG 2.7/13.4 - User Interface Engineering] <br> Chair: Prof. Davide SPANO, Vice-Chair: Prof. Anke DITTMAR, Secretary: Prof. Sophie DUPUY-CHESSA </div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* [http://www.ifip.org/wg-2.7 WG 2.7/13.4 - User Interface Engineering] <br> Chair: Prof. Davide SPANO, Vice-Chair: Prof. Anke DITTMAR, Secretary: Prof. Sophie DUPUY-CHESSA </div></td></tr>
</table>
JuliaLawall
https://wiki.uni-due.de/ifip/index.php?title=Main_Page&diff=245&oldid=prev
JuliaLawall: /* Working groups */
2024-12-25T08:36:08Z
<p><span dir="auto"><span class="autocomment">Working groups</span></span></p>
<table style="background-color: #fff; color: #202122;" data-mw="interface">
<col class="diff-marker" />
<col class="diff-content" />
<col class="diff-marker" />
<col class="diff-content" />
<tr class="diff-title" lang="en">
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td>
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 10:36, 25 December 2024</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l78">Line 78:</td>
<td colspan="2" class="diff-lineno">Line 78:</td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* [http://www.ifipwg21.org WG 2.1 - Algorithmic Languages and Calculi] <br> Chair: Prof. Peter HÖFNER, Vice chair: Patrick JANSSON, Secretary: Prof. Tom SCHRIJVERS</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* [http://www.ifipwg21.org WG 2.1 - Algorithmic Languages and Calculi] <br> Chair: Prof. Peter HÖFNER, Vice chair: Patrick JANSSON, Secretary: Prof. Tom SCHRIJVERS</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* [http://wg22.labri.fr/ WG 2.2 - Formal Description of Programming Concepts] <br> Chair: Prof. Barbara KÖNIG, Vice Chair: Prof. Ugo DAL LAGO, Secretary: Prof. Dr. Markus MÜLLER-OLM</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* [http://wg22.labri.fr/ WG 2.2 - Formal Description of Programming Concepts] <br> Chair: Prof. Barbara KÖNIG, Vice Chair: Prof. Ugo DAL LAGO, Secretary: Prof. Dr. Markus MÜLLER-OLM</div></td></tr>
<tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>* [https://en.wikipedia.org/wiki/IFIP_Working_Group_2.3 WG 2.3 - Programming Methodology] <br> Chair: Dr. Rajeev JOSHI, Vice-chair: Prof. <del style="font-weight: bold; text-decoration: none;">Peter MÜLLER</del>, Secretary: Dr. <del style="font-weight: bold; text-decoration: none;">Rajeev JOSHI</del></div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>* [https://en.wikipedia.org/wiki/IFIP_Working_Group_2.3 WG 2.3 - Programming Methodology] <br> Chair: Dr. Rajeev JOSHI, Vice-chair: Prof. <ins style="font-weight: bold; text-decoration: none;">Sophia DROSSOPOULOU</ins>, Secretary: Dr. <ins style="font-weight: bold; text-decoration: none;">Alberto GRIGGIO</ins></div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* [http://www.ifip.org/wg-2.4 WG 2.4 - Software Implementation Technology] <br> Chair: Dr. Philip LEVY, Vice Chair: Prof. Anders MOELLER, Secretary: Prof. Welf LOEWE</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* [http://www.ifip.org/wg-2.4 WG 2.4 - Software Implementation Technology] <br> Chair: Dr. Philip LEVY, Vice Chair: Prof. Anders MOELLER, Secretary: Prof. Welf LOEWE</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* [https://wg25.taa.univie.ac.at/ WG 2.5 - Numerical Software] <br> Chair: Prof. Ronald COOLS, Vice-Chair: Dr. Andrew DIENSTFREY, Secretary: Prof. Wilfried GANSTERER</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* [https://wg25.taa.univie.ac.at/ WG 2.5 - Numerical Software] <br> Chair: Prof. Ronald COOLS, Vice-Chair: Dr. Andrew DIENSTFREY, Secretary: Prof. Wilfried GANSTERER</div></td></tr>
</table>
JuliaLawall
https://wiki.uni-due.de/ifip/index.php?title=Main_Page&diff=244&oldid=prev
JuliaLawall: /* Working groups */
2024-12-25T08:33:25Z
<p><span dir="auto"><span class="autocomment">Working groups</span></span></p>
<table style="background-color: #fff; color: #202122;" data-mw="interface">
<col class="diff-marker" />
<col class="diff-content" />
<col class="diff-marker" />
<col class="diff-content" />
<tr class="diff-title" lang="en">
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td>
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 10:33, 25 December 2024</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l78">Line 78:</td>
<td colspan="2" class="diff-lineno">Line 78:</td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* [http://www.ifipwg21.org WG 2.1 - Algorithmic Languages and Calculi] <br> Chair: Prof. Peter HÖFNER, Vice chair: Patrick JANSSON, Secretary: Prof. Tom SCHRIJVERS</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* [http://www.ifipwg21.org WG 2.1 - Algorithmic Languages and Calculi] <br> Chair: Prof. Peter HÖFNER, Vice chair: Patrick JANSSON, Secretary: Prof. Tom SCHRIJVERS</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* [http://wg22.labri.fr/ WG 2.2 - Formal Description of Programming Concepts] <br> Chair: Prof. Barbara KÖNIG, Vice Chair: Prof. Ugo DAL LAGO, Secretary: Prof. Dr. Markus MÜLLER-OLM</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* [http://wg22.labri.fr/ WG 2.2 - Formal Description of Programming Concepts] <br> Chair: Prof. Barbara KÖNIG, Vice Chair: Prof. Ugo DAL LAGO, Secretary: Prof. Dr. Markus MÜLLER-OLM</div></td></tr>
<tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>* [https://en.wikipedia.org/wiki/IFIP_Working_Group_2.3 WG 2.3 - Programming Methodology] <br> Chair: Dr. <del style="font-weight: bold; text-decoration: none;">K. Rustan M. LEINO</del>, Vice-chair: Prof. Peter MÜLLER, Secretary: Dr. Rajeev JOSHI</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>* [https://en.wikipedia.org/wiki/IFIP_Working_Group_2.3 WG 2.3 - Programming Methodology] <br> Chair: Dr. <ins style="font-weight: bold; text-decoration: none;">Rajeev JOSHI</ins>, Vice-chair: Prof. Peter MÜLLER, Secretary: Dr. Rajeev JOSHI</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* [http://www.ifip.org/wg-2.4 WG 2.4 - Software Implementation Technology] <br> Chair: Dr. Philip LEVY, Vice Chair: Prof. Anders MOELLER, Secretary: Prof. Welf LOEWE</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* [http://www.ifip.org/wg-2.4 WG 2.4 - Software Implementation Technology] <br> Chair: Dr. Philip LEVY, Vice Chair: Prof. Anders MOELLER, Secretary: Prof. Welf LOEWE</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* [https://wg25.taa.univie.ac.at/ WG 2.5 - Numerical Software] <br> Chair: Prof. Ronald COOLS, Vice-Chair: Dr. Andrew DIENSTFREY, Secretary: Prof. Wilfried GANSTERER</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* [https://wg25.taa.univie.ac.at/ WG 2.5 - Numerical Software] <br> Chair: Prof. Ronald COOLS, Vice-Chair: Dr. Andrew DIENSTFREY, Secretary: Prof. Wilfried GANSTERER</div></td></tr>
</table>
JuliaLawall
https://wiki.uni-due.de/ifip/index.php?title=Main_Page&diff=243&oldid=prev
JuliaLawall: /* Working groups */
2024-12-25T08:31:53Z
<p><span dir="auto"><span class="autocomment">Working groups</span></span></p>
<table style="background-color: #fff; color: #202122;" data-mw="interface">
<col class="diff-marker" />
<col class="diff-content" />
<col class="diff-marker" />
<col class="diff-content" />
<tr class="diff-title" lang="en">
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td>
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 10:31, 25 December 2024</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l77">Line 77:</td>
<td colspan="2" class="diff-lineno">Line 77:</td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br/></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br/></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* [http://www.ifipwg21.org WG 2.1 - Algorithmic Languages and Calculi] <br> Chair: Prof. Peter HÖFNER, Vice chair: Patrick JANSSON, Secretary: Prof. Tom SCHRIJVERS</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* [http://www.ifipwg21.org WG 2.1 - Algorithmic Languages and Calculi] <br> Chair: Prof. Peter HÖFNER, Vice chair: Patrick JANSSON, Secretary: Prof. Tom SCHRIJVERS</div></td></tr>
<tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>* [http://wg22.labri.fr/ WG 2.2 - Formal Description of Programming Concepts] <br> Chair: Prof. <del style="font-weight: bold; text-decoration: none;">Antonin KUCERA</del>, Vice Chair: <del style="font-weight: bold; text-decoration: none;">Barbara KÖNIG</del>, Secretary: Prof. Dr. Markus MÜLLER-OLM</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>* [http://wg22.labri.fr/ WG 2.2 - Formal Description of Programming Concepts] <br> Chair: Prof. <ins style="font-weight: bold; text-decoration: none;">Barbara KÖNIG</ins>, Vice Chair: <ins style="font-weight: bold; text-decoration: none;">Prof. Ugo DAL LAGO</ins>, Secretary: Prof. Dr. Markus MÜLLER-OLM</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* [https://en.wikipedia.org/wiki/IFIP_Working_Group_2.3 WG 2.3 - Programming Methodology] <br> Chair: Dr. K. Rustan M. LEINO, Vice-chair: Prof. Peter MÜLLER, Secretary: Dr. Rajeev JOSHI</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* [https://en.wikipedia.org/wiki/IFIP_Working_Group_2.3 WG 2.3 - Programming Methodology] <br> Chair: Dr. K. Rustan M. LEINO, Vice-chair: Prof. Peter MÜLLER, Secretary: Dr. Rajeev JOSHI</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* [http://www.ifip.org/wg-2.4 WG 2.4 - Software Implementation Technology] <br> Chair: Dr. Philip LEVY, Vice Chair: Prof. Anders MOELLER, Secretary: Prof. Welf LOEWE</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* [http://www.ifip.org/wg-2.4 WG 2.4 - Software Implementation Technology] <br> Chair: Dr. Philip LEVY, Vice Chair: Prof. Anders MOELLER, Secretary: Prof. Welf LOEWE</div></td></tr>
</table>
JuliaLawall
https://wiki.uni-due.de/ifip/index.php?title=Main_Page&diff=242&oldid=prev
JacquesCarette: /* IFIP TC2 (Software: Theory and Practice) Community Website */
2024-12-24T22:39:29Z
<p><span dir="auto"><span class="autocomment">IFIP TC2 (Software: Theory and Practice) Community Website</span></span></p>
<table style="background-color: #fff; color: #202122;" data-mw="interface">
<col class="diff-marker" />
<col class="diff-content" />
<col class="diff-marker" />
<col class="diff-content" />
<tr class="diff-title" lang="en">
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td>
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 00:39, 25 December 2024</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l3">Line 3:</td>
<td colspan="2" class="diff-lineno">Line 3:</td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>= IFIP TC2 (Software: Theory and Practice) Community Website =</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>= IFIP TC2 (Software: Theory and Practice) Community Website =</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br/></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br/></td></tr>
<tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>The committee has been established in 1962. Its aims and scope were revised twice: in 1982, and in 1990.</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>The <ins style="font-weight: bold; text-decoration: none;">[[https://ifip.org/tc/?tc=tc2 IFIP TC2]] </ins>committee has been established in 1962. Its aims and scope were revised twice: in 1982, and in 1990.</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br/></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br/></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>== Aims ==</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>== Aims ==</div></td></tr>
</table>
JacquesCarette