[Haskell] CfP: Only one week left for submitting abstracts to TAP 2012 (International Conference on Test and Proofs

://www.informatik.uni-trier.de/~ley/db/conf/tap/ -- Dr. Achim D. Brucker, SAP Research, Vincenz-Priessnitz-Str. 1, D-76131 Karlsruhe Phone: +49 6227 7-52595, Fax: +49-6227 78-50502, http://www.brucker.ch ___ Haskell mailing list Haskell@haskell.org

[Haskell] Call for Journal Papers: STVR Special Issue on Tests and Proofs

and Proofs as title. Important Dates: * Paper submission: December 17, 2012 * Notification: April 15, 2013 Guest Editors = * Achim D. Brucker, SAP Research, Germany http://www.brucker.ch/ * Wolfgang Grieskamp, Google, U.S.A. http

[Haskell] Call for Participation: Tests and Proofs (TAP 2012) in Prague

.fit.cvut.cz/index.php/registration.html Organization: = Conference Chair Bertrand Meyer, ETH Zurich, Eiffel Software, and ITMO Program Chairs Achim D. Brucker, SAP Research, Germany Jacques Julliand, University of Franche-Comté Local Organization Pavel Tvrdik, CTU Prague

[Haskell] Call for Papers: STVR Special Issue on Tests and Proofs

and Proofs as title. Important Dates: * Paper submission: December 17, 2012 * Notification: April 15, 2013 Guest Editors = * Achim D. Brucker, SAP Research, Germany http://www.brucker.ch/ * Wolfgang Grieskamp, Google, U.S.A. http

[Haskell] Call for Papers: Only Two Months Left - STVR Special Issue on Tests and Proofs

as title. Important Dates: * Paper submission: December 17, 2012 * Notification: April 15, 2013 Guest Editors = * Achim D. Brucker, SAP AG, SAP Research, Germany http://www.brucker.ch/ * Wolfgang Grieskamp, Google, U.S.A. http

[Haskell] TAP 2013: 1st Call for Papers

TAP proceedings is available at: http://www.informatik.uni-trier.de/~ley/db/conf/tap/ -- Dr. Achim D. Brucker, SAP AG, SAP Research Vincenz-Priessnitz-Str. 1, D-76131 Karlsruhe, Phone: +49 6227 7-52595 http://www.brucker.ch

[Haskell] TAP 2013: 2nd Call for Papers

Dirk Beyer Achim D. Brucker Robert Clarisò Marco Comini Catherine Dubois Gordon Fraser Angelo Gargantini Christoph Gladisch Martin Gogolla Arnaud Gotlieb Wolfgang Grieskamp Reiner Hähnle Bart Jacobs Thiérry Jeron Jacques Julliand Gregory Kapfhammer Nikolai Kosmatov Victor Kuliamin Michael Leuschel

[Haskell] TAP 2013: Final Call for Papers

Committee: == Paul Ammann Dirk Beyer Achim D. Brucker Robert Clarisò Marco Comini Catherine Dubois Juhan Ernits Gordon Fraser Angelo Gargantini Christoph Gladisch Martin Gogolla Arnaud Gotlieb Wolfgang Grieskamp Reiner Hähnle Bart Jacobs Thiérry Jeron Jacques Julliand Gregory Kapfhammer

[Haskell] OCL 2014: First Call for Papers

, Germany Thomas Baar, University of Applied Sciences Berlin, Germany Mira Balaban, Ben-Gurion University of the Negev, Israel Tricia Balfe, Nomos Software, Ireland Fabian Buettner, Ecole des Mines de Nantes, France Achim D. Brucker, SAP AG, Germany Jordi Cabot, INRIA-Ecole des Mines de Nantes, France

[Haskell] Second Call for Papers: OCL 2014

, Germany Thomas Baar, University of Applied Sciences Berlin, Germany Mira Balaban, Ben-Gurion University of the Negev, Israel Tricia Balfe, Nomos Software, Ireland Fabian Buettner, Ecole des Mines de Nantes, France Achim D. Brucker, SAP AG, Germany Jordi Cabot, INRIA-Ecole des Mines de Nantes, France

[Haskell] Final Call for Papers: OCL 2014 Submissions Due in One Week

, Germany Thomas Baar, University of Applied Sciences Berlin, Germany Mira Balaban, Ben-Gurion University of the Negev, Israel Tricia Balfe, Nomos Software, Ireland Fabian Buettner, Ecole des Mines de Nantes, France Achim D. Brucker, SAP AG, Germany Jordi Cabot, INRIA-Ecole des Mines de Nantes, France

[Haskell] OCL 2014: Submission Deadline Extended by One Week

=== Submission of papers: July 18, 2014 (extended) Notification: August 8, 2014 Workshop date: September 30, 2014 Organizers == Achim D. Brucker, SAP AG, Germany Carolina Dania, IMDEA Software Institute, Madrid, Spain Geri Georg, Colorado State University, Fort

[Haskell] OCL 2015: First Call for Papers

== Achim D. Brucker, SAP SE, Germany Marina Egea, Indra Sistemas S.A., Spain Martin Gogolla, University of Bremen, Germany Frederic Tuong, Univ. Paris-Sud - IRT SystemX - LRI, France Programme Committee === Mira Balaban, Ben-Gurion University of the Negev, Israel Tricia

[Haskell] OCL 2015: Second Call for Papers - Only Four Weeks Left

== Achim D. Brucker, SAP SE, Germany Marina Egea, Indra Sistemas S.A., Spain Martin Gogolla, University of Bremen, Germany Frederic Tuong, Univ. Paris-Sud - IRT SystemX - LRI, France Programme Committee === Mira Balaban, Ben-Gurion University of the Negev, Israel Tricia

[Haskell] OCL 2015: Final Call for Papers - Only 10 Days Left

=== Submission of papers: July 17, 2015 Notification:August 21, 2015 Workshop date:September 28, 2015 Organizers == Achim D. Brucker, SAP SE, Germany Marina Egea, Indra Sistemas S.A., Spain Martin Gogolla, University of Bremen, Germany Frederic Tuong

[Haskell] OCL 2015: ** Deadline Extension ** Submit Your Paper Until July 26, 2015

online in a pre-conference edition of CEUR (http://www.ceur-ws.org). Important Dates === Submission of papers: July 26, 2015 (extended) Notification:August 21, 2015 Workshop date:September 28, 2015 Organizers == Achim D. Brucker, SAP SE, Germany Marina Egea

[Haskell] 2nd Call for Papers: OCL and Textual Modeling Tools and Textual Model Transformations (OCL 2016) - Submit Your Paper Until July 17, 2016

(Apologies for duplicates) Only four weeks until the deadline! -- Dr. Achim D. Brucker | Senior Lecturer | University of Sheffield https://www.brucker.ch/ ___ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi

[Haskell] Call for Papers: OCL and Textual Modeling Tools and Textual Model Transformations (OCL 2016) - Submit Your Paper Until July 17, 2016

== Achim D. Brucker, The University of Sheffield, UK Jordi Cabot, ICREA - Open University of Catalonia, Spain Adolfo Sánchez-Barbudo Herrera, University of York, UK Programme Committee (TBC) = Thomas Baar, University of Applied Sciences Berlin, Germany Mira Balaban

[Haskell] OCL 2016: ** Deadline Extension ** Submit Your Paper Until July 24, 2016

in a post-conference edition of CEUR (http://www.ceur-ws.org). Important Dates === Submission of papers: July 24, 2016 Notification:August 14, 2016 Workshop date: October 2, 2016 Organizers == Achim D. Brucker, The University of Sheffield, UK Jordi Cabot

[Haskell] 3rd Call for Papers: OCL and Textual Modeling Tools and Textual Model Transformations (OCL 2016) - Less Than 10 Days Left To Submit Your Paper!

: October 2, 2016 Organizers == Achim D. Brucker, The University of Sheffield, UK Jordi Cabot, ICREA - Open University of Catalonia, Spain Adolfo Sánchez-Barbudo Herrera, University of York, UK Programme Committee (TBC) = Thomas Baar, University of Applied

[Haskell] ThEdu'17: Call for Extended Abstracts & Demonstrations

cted to presents his/her submission at ThEdu'17. Joint publication in companion with other CADE26 events is under consideration (as a volume in the EPiC Series in Computing). Program Committee Francisco Botana, University of Vigo at Pontevedra, Spain Achim D. Brucker, University of Sheffield, Un

[Haskell] CFP: International Workshop on OCL and Textual Modeling (OCL 2017)

papers will be published online in a post-conference edition of [CEUR](http://www.ceur-ws.org). ## Important Dates - Submission of papers: April 28, 2017 - Notification: May 25, 2017 - Workshop date: July 20, 2017 -- Dr. Achim D. Brucker | Software Assurance

[Haskell] 2nd CFP - Only Two Weeks Left: International Workshop on OCL and Textual Modeling (OCL 2017)

(Apologies for duplicates) -- Dr. Achim D. Brucker | Software Assurance & Security | University of Sheffield https://www.brucker.ch | https://logicalhacking.com/blog @adbrucker | @logicalhacking ___ Has

[Haskell] Deadline Extension: International Workshop on OCL and Textual Modeling (OCL 2017)

. Achim D. Brucker | Software Assurance & Security | University of Sheffield https://www.brucker.ch | https://logicalhacking.com/blog @adbrucker | @logicalhacking ___ Haskell mailing list Haskell@haskell.org

[Haskell] ThEdu'17: 2nd Call for Extended Abstracts & Demonstrations

cted to presents his/her submission at ThEdu'17. Joint publication in companion with other CADE26 events is under consideration (as a volume in the EPiC Series in Computing). Program Committee Francisco Botana, University of Vigo at Pontevedra, Spain Achim D. Brucker, University of Sheffield, Un

[Haskell] ThEdu'17 Post-Proceedings: Call for Papers

, Portugal (co-chair) Vanda Santos, CISUC, Portugal Wolfgang Schreiner, Johannes Kepler University, Austria Burkhart Wolff, University Paris-Sud, France -- Dr. Achim D. Brucker | Software Assurance & Security | University of Sheffield https://www.brucker.ch | https:/

[Haskell] Call for Papers: Workshop in OCL and Textual Modeling (OCL 2018)

: July 17, 2018 - Notification: August 17, 2018 - Workshop date: October 14, 2018 (tbc) -- Dr. Achim D. Brucker | Software Assurance & Security | University of Sheffield https://www.brucker.ch | https://logicalhacking.com/

[Haskell] CFP: One Month Until Left For Submitting to The Workshop in OCL and Textual Modeling (OCL 2018)

D. Brucker | Software Assurance & Security | University of Sheffield https://www.brucker.ch | https://logicalhacking.com/blog @adbrucker | @logicalhacking ___ Haskell mailing list Haskell@haskell.org

[Haskell] ThEdu'18: Call for Extended Abstracts & Demonstrations

tion at the conference, selected authors will be invited to submit a substantially revised version, extended to 14--20 pages, for publication by the Electronic Proceedings in Theoretical Computer Science (EPTCS). -- Dr. Achim D. Brucker | Software Assurance & Security | University of S

[Haskell] Deadline Extension: Workshop in OCL and Textual Modeling (OCL 2018)

-- Dr. Achim D. Brucker | Software Assurance & Security | University of Sheffield https://www.brucker.ch | https://logicalhacking.com/blog @adbrucker | @logicalhacking ___ Haskell mailing list Haskell@haskell

[Haskell] Call for Papers: Postproceedings for ThEdu'18 by EPTCS

de, Serbia Walther Neuper, Graz University of Technology, Austria (co-chair) Pavel Pech, University of South Bohemia, Czech Republic Pedro Quaresma, University of Coimbra, Portugal (co-chair) Vanda Santos, CISUC, Portugal Wolfgang Schreiner, Johannes Kepler University, Austria --

[Haskell] Call for paper: Only one *week* left to prepare your paper for the Workshop in OCL and Textual Modeling (OCL 2018)

D. Brucker | Software Assurance & Security | University of Sheffield https://www.brucker.ch | https://logicalhacking.com/blog @adbrucker | @logicalhacking ___ Haskell mailing list Haskell@haskell.org

[Haskell] ThEdu'18: Second Call for Extended Abstracts & Demonstrations

ence, selected authors will be invited to submit a substantially revised version, extended to 14--20 pages, for publication by the Electronic Proceedings in Theoretical Computer Science (EPTCS). -- Dr. Achim D. Brucker | Software Assurance & Security | University of Sheffield

[Haskell] Open Position: Lecturer in Cybersecurity - University of Exeter

/hrpr_webrecruitment/wrd/run/ETREC107GF.open?VACANCY_ID=458120OCP0=3817591jNg Feel free to contact me for informal inquires about the post. Best, Achim -- Dr. Achim D. Brucker | Chair of Cybersecurity | University of Exeter https://www.brucker.ch | https://logicalhacking.com/blog

[Haskell] Call For Papers: Workshop in OCL and Textual Modeling (OCL 2019)

-Workshop CRC: 5 Oct 2019 -- Dr. Achim D. Brucker | Chair of Cybersecurity | University of Exeter https://www.brucker.ch | https://logicalhacking.com/blog @adbrucker | @logicalhacking ___ Haskell mailing list Haskell

[Haskell] Workshop in OCL and Textual Modeling (OCL 2019) - Deadline Extension

CALL FOR PAPERS 19th International Workshop on OCL and Textual Modeling Co-located with MODELS 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and System, September 15-20,

[Haskell] Call For Papers: Workshop in OCL and Textual Modeling (OCL 2019)

CALL FOR PAPERS 19th International Workshop on OCL and Textual Modeling Co-located with MODELS 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and System, September 15-20,

[Haskell] Open Position: Lecturer in Cybersecurity - University of Exeter

Dear all, As part of the expansion of the Department of Computer Science [1] at the University of Exeter, we are recruiting for a Lecturer in Cybersecurity. The lecturer will be part of the newly formed Security and Trust of Advanced Systems Group [2]. This is a *unique* opportunity to join a

[Haskell] Open Position: Lecturer in Computer Science (Exeter, Deadline 2020-04-08)

Open Position: Lecturer in Computer Science (Exeter, Deadline 2020-04-08) As part of the expansion of the Department of Computer Science at the University of Exeter [1], we are recruiting for a Lecturer in Cybersecurity. The lecturer will be part of the newly formed Security and Trust of Advanced

[Haskell] 2 PhD Positions in the Safety and Security of Advanced Systems Group (University of Exeter, UK Deadline 2020-05-01)

Two fully funded PhD scholarships for EU/UK applicants are available in the Security and Trust of Advanced Systems Group [1] (Prof. Achim Brucker [2] and Dr. Diego Marmsoler [3]) at the Department of Computer Science of the University of Exeter, UK [4]. We are looking for enthusiastic and

[Haskell] Fully (UK Home) Funded PhD Positions in the Safety and Security of Advanced Systems Group (Exeter, UK, Deadline 2021-01-24)

Several fully funded PhD scholarships for UK applicants are available in the Security and Trust of Advanced Systems Group [1] (Prof. Achim Brucker [2] and Dr. Diego Marmsoler [3]) at the Department of Computer Science of the University of Exeter, UK [4]. We are looking for enthusiastic and

[Haskell] Fully Funded PhD Positions in the Safety and Security of Advanced Systems Group (Exeter, UK, Deadline 2022-04-29)

We have two fully funded PhD scholarships for UK applicants in the Security and Trust of Advanced Systems Group [1] (Prof. Achim Brucker [2] and Dr. Diego Marmsoler [3]) at the Department of Computer Science of the University of Exeter, UK [4]. We are looking for enthusiastic and outstanding

[Haskell-cafe] First CfP: International Conference on Test and Proofs (TAP 2012), Next Deadline: 2011-12-14

Conference Chairs: Bertrand Meyer Program Chairs:Achim D. Brucker and Jacques Julliand Program Committee (to be extended): === Nazareno Aguirre, Bernhard K. Aichernig, Paul Ammann, Dirk Beyer, Nikolaj Bjorner, Robert Clarisó, Marco Comini, Catherine Dubois

[Haskell-cafe] Second CfP: International Conference on Test and Proofs (TAP 2012), Next Deadline: 2011-12-14

at: http://www.informatik.uni-trier.de/~ley/db/conf/tap/ -- Dr. Achim D. Brucker, SAP Research, Vincenz-Priessnitz-Str. 1, D-76131 Karlsruhe Phone: +49 6227 7-52595, Fax: +49-6227 78-50502, http://www.brucker.ch ___ Haskell-Cafe mailing list Haskell-Cafe

[Haskell-cafe] CfP: Only one week left for submitting abstracts to TAP 2012 (International Conference on Test and Proofs

://www.informatik.uni-trier.de/~ley/db/conf/tap/ -- Dr. Achim D. Brucker, SAP Research, Vincenz-Priessnitz-Str. 1, D-76131 Karlsruhe Phone: +49 6227 7-52595, Fax: +49-6227 78-50502, http://www.brucker.ch ___ Haskell-Cafe mailing list Haskell-Cafe

[Haskell-cafe] CfP: Extended Submission Deadline TAP 2012 (International Conference on Test and Proofs)

:May 31 - June 1, 2012 TOOLS conferences (TOOLS, ICMT, SC, TAP): May 29 - June 01, 2012 Conference Chairs: Bertrand Meyer Program Chairs:Achim D. Brucker and Jacques Julliand Program Committee (to be extended): === Nazareno Aguirre, Bernhard K. Aichernig, Paul

[Haskell-cafe] Call for Journal Papers: STVR Special Issue on Tests and Proofs

and Proofs as title. Important Dates: * Paper submission: December 17, 2012 * Notification: April 15, 2013 Guest Editors = * Achim D. Brucker, SAP Research, Germany http://www.brucker.ch/ * Wolfgang Grieskamp, Google, U.S.A. http

[Haskell-cafe] Call for Participation: Tests and Proofs (TAP 2012) in Prague

.fit.cvut.cz/index.php/registration.html Organization: = Conference Chair Bertrand Meyer, ETH Zurich, Eiffel Software, and ITMO Program Chairs Achim D. Brucker, SAP Research, Germany Jacques Julliand, University of Franche-Comté Local Organization Pavel Tvrdik, CTU Prague

[Haskell-cafe] Call for Papers: STVR Special Issue on Tests and Proofs

and Proofs as title. Important Dates: * Paper submission: December 17, 2012 * Notification: April 15, 2013 Guest Editors = * Achim D. Brucker, SAP Research, Germany http://www.brucker.ch/ * Wolfgang Grieskamp, Google, U.S.A. http

[Haskell-cafe] Call for Papers: Only Two Months Left - STVR Special Issue on Tests and Proofs

as title. Important Dates: * Paper submission: December 17, 2012 * Notification: April 15, 2013 Guest Editors = * Achim D. Brucker, SAP AG, SAP Research, Germany http://www.brucker.ch/ * Wolfgang Grieskamp, Google, U.S.A. http

[Haskell-cafe] TAP 2013: 1st Call for Papers

TAP proceedings is available at: http://www.informatik.uni-trier.de/~ley/db/conf/tap/ -- Dr. Achim D. Brucker, SAP AG, SAP Research Vincenz-Priessnitz-Str. 1, D-76131 Karlsruhe, Phone: +49 6227 7-52595 http://www.brucker.ch

[Haskell-cafe] TAP 2013: 2nd Call for Papers

Dirk Beyer Achim D. Brucker Robert Clarisò Marco Comini Catherine Dubois Gordon Fraser Angelo Gargantini Christoph Gladisch Martin Gogolla Arnaud Gotlieb Wolfgang Grieskamp Reiner Hähnle Bart Jacobs Thiérry Jeron Jacques Julliand Gregory Kapfhammer Nikolai Kosmatov Victor Kuliamin Michael Leuschel

[Haskell-cafe] TAP 2013: Final Call for Papers

Committee: == Paul Ammann Dirk Beyer Achim D. Brucker Robert Clarisò Marco Comini Catherine Dubois Juhan Ernits Gordon Fraser Angelo Gargantini Christoph Gladisch Martin Gogolla Arnaud Gotlieb Wolfgang Grieskamp Reiner Hähnle Bart Jacobs Thiérry Jeron Jacques Julliand Gregory Kapfhammer