Groups

metaprl-users

Contact owners and managers

1–30 of 974

0 selected

Petra van den Bos

7/29/24

FSEN 2025 - 2nd Call for Papers

SECOND CALL FOR PAPERS Eleventh International Conference on Fundamentals of Software Engineering 2025

unread,

FSEN 2025 - 2nd Call for Papers

SECOND CALL FOR PAPERS Eleventh International Conference on Fundamentals of Software Engineering 2025

7/29/24

Mattias Ulbrich

7/27/24

PhD Symposium iFM 2024 - Call for Papers

Apologies if you receive multiple copies of this CFP. Please, pass it on to interested colleagues. --

unread,

PhD Symposium iFM 2024 - Call for Papers

Apologies if you receive multiple copies of this CFP. Please, pass it on to interested colleagues. --

7/27/24

7/26/24

ASPOCP 2024 @ ICLP- Second Call for Paper

[Apologies for cross-posting] =======================================================================

unread,

ASPOCP 2024 @ ICLP- Second Call for Paper

[Apologies for cross-posting] =======================================================================

7/26/24

giuseppe...@unical.it

7/24/24

[ICLP & LPNMR DC 2024] Application Submission Extension (August, 2 AOE)

(Apologies for cross-posting. Please distribute to interested parties.) -----------------------------

unread,

[ICLP & LPNMR DC 2024] Application Submission Extension (August, 2 AOE)

(Apologies for cross-posting. Please distribute to interested parties.) -----------------------------

7/24/24

7/4/24

3rd Call for Papers: Mathematical User Interaction (MathUI'24)

The 3rd Call for Papers: MathUI'24 (extended deadline) (see MathUI at http://www.cicm-conference.

unread,

3rd Call for Papers: Mathematical User Interaction (MathUI'24)

The 3rd Call for Papers: MathUI'24 (extended deadline) (see MathUI at http://www.cicm-conference.

7/4/24

7/1/24

[Third Call for Papers] Women in Formal Methods (WiFM-2024) Colocated with CICM-2024

================================================================================= Third Call for

unread,

[Third Call for Papers] Women in Formal Methods (WiFM-2024) Colocated with CICM-2024

================================================================================= Third Call for

7/1/24

6/27/24

[3rd Call for Papers] Formal Verification of Physical Systems (FVPS-2024) Extended Deadline: July 12, 2024

================================================================================ Third Call for

unread,

[3rd Call for Papers] Formal Verification of Physical Systems (FVPS-2024) Extended Deadline: July 12, 2024

================================================================================ Third Call for

6/27/24

6/25/24

CICM 2024 - Call for Participation (August 5-9 in Montreal, Canada

---------------------------------------------------------------------- Call for Participation 17th

unread,

CICM 2024 - Call for Participation (August 5-9 in Montreal, Canada

---------------------------------------------------------------------- Call for Participation 17th

6/25/24

giuseppe...@unical.it2

6/22/24

[Approaching Deadline - LPNMR 2024] Call For Papers

[Apologies if you receive multiple copies of this email. Please distribute to interested parties.] --

unread,

[Approaching Deadline - LPNMR 2024] Call For Papers

[Apologies if you receive multiple copies of this email. Please distribute to interested parties.] --

6/22/24

Alexandre Madeira

6/21/24

SEFM'24 -- Last Call for papers

========= FINAL CALL FOR PAPERS ============ !!! Abstracts deadline extended until the deadline of

unread,

SEFM'24 -- Last Call for papers

========= FINAL CALL FOR PAPERS ============ !!! Abstracts deadline extended until the deadline of

6/21/24

6/12/24

[Second Call for Papers] Formal Verification of Physical Systems (FVPS-2024) Extended Deadline: June 16, 2024

================================================================================ Second Call for

unread,

[Second Call for Papers] Formal Verification of Physical Systems (FVPS-2024) Extended Deadline: June 16, 2024

================================================================================ Second Call for

6/12/24

6/10/24

[Second Call for Papers] Women in Formal Methods (WiFM-2024)

================================================================================= Second Call for

unread,

[Second Call for Papers] Women in Formal Methods (WiFM-2024)

================================================================================= Second Call for

6/10/24

ge...@cs.miami.edu

6/8/24

19th International Conference on Integrated Formal Methods - iFM 2024

========================================== iFM 2024 - 3rd Call for Papers - 19th International

unread,

19th International Conference on Integrated Formal Methods - iFM 2024

========================================== iFM 2024 - 3rd Call for Papers - 19th International

6/8/24

ge...@cs.miami.edu

6/8/24

18th International Conference on Reachability Problems - RP'24

The 18th International Conference on Reachability Problems (RP'24) Sep 25, 2024 - Sep 27,

unread,

18th International Conference on Reachability Problems - RP'24

The 18th International Conference on Reachability Problems (RP'24) Sep 25, 2024 - Sep 27,

6/8/24

Alexandre Madeira

6/7/24

SEFM'24 -- Deadline extended!

========= DEADLINE EXTENSION ============== 22nd International Conference on Software Engineering and

unread,

SEFM'24 -- Deadline extended!

========= DEADLINE EXTENSION ============== 22nd International Conference on Software Engineering and

6/7/24

5/31/24

Legal action is being pursued by the Bank of Canada against Michael Cera for his live TV remarks

Your image description An unexpected twist occurred during the live broadcast interview when Michael

unread,

Legal action is being pursued by the Bank of Canada against Michael Cera for his live TV remarks

Your image description An unexpected twist occurred during the live broadcast interview when Michael

5/31/24

giuseppe...@unical.it

5/30/24

[LPNMR 2024] Call For Papers

*** Please accept our apologies if you receive multiple copies of this CFP *** ======================

unread,

[LPNMR 2024] Call For Papers

*** Please accept our apologies if you receive multiple copies of this CFP *** ======================

5/30/24

5/23/24

Call for Submissions to the Doctoral Program - 17th Conference on Intelligent Computer Mathematics - CICM 2024 - Deadline: June 13, 2024

=============================================================================== Call for Submissions

unread,

Call for Submissions to the Doctoral Program - 17th Conference on Intelligent Computer Mathematics - CICM 2024 - Deadline: June 13, 2024

=============================================================================== Call for Submissions

5/23/24

5/22/24

Call for Papers: 3rd Workshop on Formal Verification of Physical Systems (FVPS-2024), Deadline: June 9, 2024

====================================================================================== First Call for

unread,

Call for Papers: 3rd Workshop on Formal Verification of Physical Systems (FVPS-2024), Deadline: June 9, 2024

====================================================================================== First Call for

5/22/24

Bos, Petra van den (UT-EEMCS)

5/14/24

FSEN 2025 - Call for Papers

FIRST CALL FOR PAPERS Eleventh International Conference on Fundamentals of Software Engineering 2025

unread,

FSEN 2025 - Call for Papers

FIRST CALL FOR PAPERS Eleventh International Conference on Fundamentals of Software Engineering 2025

5/14/24

Marmsoler, Diego

5/7/24

FACS 2024 - Third Call for Papers

[ Please distribute, apologies for multiple postings. ] =============================================

unread,

FACS 2024 - Third Call for Papers

[ Please distribute, apologies for multiple postings. ] =============================================

5/7/24

giuseppe...@unical.it

4/12/24

[Approaching Deadline] LPNMR 2024 - Call for Workshops

*** Please accept our apologies if you receive multiple copies of this CFW *** ======================

unread,

[Approaching Deadline] LPNMR 2024 - Call for Workshops

*** Please accept our apologies if you receive multiple copies of this CFW *** ======================

4/12/24

ge...@cs.miami.edu

4/11/24

SAT/SMT/AR 2024: International Summer School

SAT/SMT/AR 2024: International Summer School on Satisfiability, Satisfiability Modulo Theories, and

unread,

SAT/SMT/AR 2024: International Summer School

SAT/SMT/AR 2024: International Summer School on Satisfiability, Satisfiability Modulo Theories, and

4/11/24

ge...@cs.miami.edu

4/4/24

McCune PhD Award, Bledsoe IJCAR Travel Awards

The Bill McCune PhD Award in Automated Reasoning 2024 Second Call for Nominations http://cadeinc.org/

unread,

McCune PhD Award, Bledsoe IJCAR Travel Awards

The Bill McCune PhD Award in Automated Reasoning 2024 Second Call for Nominations http://cadeinc.org/

4/4/24

Marmsoler, Diego

4/3/24

5th International Workshop on Formal Methods for Blockchains (FMBC) 2024 - Call for Participation

[ Please distribute, apologies for multiple postings. ] =============================================

unread,

5th International Workshop on Formal Methods for Blockchains (FMBC) 2024 - Call for Participation

[ Please distribute, apologies for multiple postings. ] =============================================

4/3/24

ge...@cs.miami.edu

4/2/24

iFM 2024 Call for Papers

iFM 2024 Call for Papers - 19th International Conference on Integrated Formal Methods https://ifm2024

unread,

iFM 2024 Call for Papers

iFM 2024 Call for Papers - 19th International Conference on Integrated Formal Methods https://ifm2024

4/2/24

ge...@cs.miami.edu

4/2/24

LPAR 2024 short presentation papers - CFP

****************************************************************************** The 25th International

unread,

LPAR 2024 short presentation papers - CFP

****************************************************************************** The 25th International

4/2/24

ge...@cs.miami.edu

3/28/24

CICM 2024 - Extended deadline - Call for Papers

Call for Papers - formal papers - doctoral programme 17th Conference on Intelligent Computer

unread,

CICM 2024 - Extended deadline - Call for Papers

Call for Papers - formal papers - doctoral programme 17th Conference on Intelligent Computer

3/28/24

3/22/24

ThEdu'24 - 2nd Call for Extended Abstracts

2nd Call for Extended Abstracts & Demonstrations ************************************************

unread,

ThEdu'24 - 2nd Call for Extended Abstracts

2nd Call for Extended Abstracts & Demonstrations ************************************************

3/22/24

Achim D. Brucker

3/20/24

Funded PhD Position in Formalizing/Verification of Golang (Application Deadline 2024-03-31)

We have an exciting opportunity for PhD study with myself and Prof. Burkhart Wolff form the

unread,

Funded PhD Position in Formalizing/Verification of Golang (Application Deadline 2024-03-31)

We have an exciting opportunity for PhD study with myself and Prof. Burkhart Wolff form the

3/20/24

Search

Clear search

Close search

Google apps

Main menu