DataMod 2025 - 13th International Symposium "From Data to Models and Back"
Toledo, Spain, 10-11 November 2025
Website: https://datamod-symposium.github.io/DataMod-2025/
DataMod 2025 is a satellite event of the 23rd International Conference of
Software Engineering and Formal Methods (SEFM 2025):
h
Extended deadline to April 18, 2025
Call for proposals for the
Haskell Implementors' Workshop
https://haskell.foundation/events/2025-haskell-implementors-workshop.html
June 6, 2025
Organized by the Haskell Community
Co-located with ZuriHac 2025 and Haskell Ecosystem Workshop 2025
Hosted b
Important Dates
===
* Submission Deadline: *Mon 18 Nov 2024*
* Acceptance Notification: *Thu 12 Dec 2024*
* Workshop: Mon 20 Jan 2025
Submission website: https://prisc25.hotcrp.com
Workshop website: https://popl25.sigplan.org/home/prisc-2025
==
Please note the extended deadline for ASPOCP 2024
[Apologies for cross-posting]
===
*EXTENDED SUBMISSION DEADLINE*
*IMPORTANT DATES*
** Abstract submission deadline:*08 August 2024* **
** Paper submission deadline:*15
Call for Participation (/Talks/Tutorials)
Automated Program and Proof Synthesis
February 20, 2024, Vancouver, BC (a bridge workshop of AAAI 2024)
Automated Program and Proof Synthesis (AP2S) are two long-standing,
closely-related challenges in AI, recently advanced through the incorporation
of d
***
The 7th International Conference on Emerging Data and Industry (EDI40)
Hasselt, Belgium
April 23-25, 2024
***
Conference Website: http://cs-conferences.acadiau.ca/edi40-24/
***
The 7th International Conference on Emerging Data and Industry (EDI40)
Hasselt, Belgium
April 23-25, 2024
***
Conference Website: http://cs-conferences.acadiau.ca/edi40-24/
***
The 7th International Conference on Emerging Data and Industry (EDI40)
Hasselt, Belgium
April 23-25, 2024
***
Conference Website: http://cs-conferences.acadiau.ca/edi40-24/
10th Workshop on Horn Clauses for Verification and Synthesis (HCVS)
Co-located with ETAPS 2023
23rd April 2023 - Paris, France
https://www.sci.unich.it/hcvs23/
Important dates:
- Paper submission deadline: Mar 8, 2023 (EXTENDED)
- Paper notification: Mar 22, 2023
- Workshop: Apr 23, 2023
Ma
WPTE 2022 (affiliated to FSCD 2022, part of FLoC 2022, Haifa, Israel)
9th International Workshop on Rewriting Techniques for Program
Transformations and Evaluation (July 31st, 2022)
Web: https://wpte2022.github.io/
Submit: https://easychair.org/conferences/?conf=wpte2022
Deadline:
Can the mailing list admins please permanently ban this address as well? 6
CfPs in 5 months and no other contribution.
Ivan
On Sun, 30 May 2021 at 02:05, Mayssa HEMDANI
wrote:
> Call for papers
> *
> International Conference on Recent Theories an
Call for papers
*
International Conference on Recent Theories and Applications in
Transportation and Mobility - (RTATM 2021)
Prague - Czech Republic, October 14-15, 2021
https://confscience.com/rtatm/
All papers accepted in RTATM 2021 will be publishe
For the record: I have 12 CfP from this person (or bot?) via the Haskell
Mailing list so far in 2021. I think enough is enough.
Ivan
On Sat, 29 May 2021 at 15:58, Ivan Perez
wrote:
> Haskell mailing lists admins,
>
> Can we please permanently ban everyone from the confscience.com domain?
>
> Th
Haskell mailing lists admins,
Can we please permanently ban everyone from the confscience.com domain?
Thanks,
Ivan
On Sat, 29 May 2021 at 15:44, Emilia Marc wrote:
> Call for papers
>
> *
>
> International Conference on Informatics Revolution
Call for papers
*
International Conference on Informatics Revolution for Smarter Healthcare
(IRSH 2021)
Prague- Czech Republic, October 14-15, 2021
https://confscience.com/irsh/
All papers accepted in IRSH 2021 will be published in Springer C
Call for papers
*
International Conference on Recent Theories and Applications in
Transportation and Mobility - (RTATM 2021)
Prague - Czech Republic, October 14-15, 2021
https://confscience.com/rtatm/
All papers accepted in RTATM 2021 will be
Call for papers
*
International Conference on Informatics Revolution for Smarter Healthcare
(IRSH 2021)
Prague- Czech Republic, October 14-15, 2021
https://confscience.com/irsh/
All papers accepted in IRSH 2021 will be published in Springer CCIS
(Comm
Call for papers
*
International Conference on Applied Data Science and Intelligence - (ADSI
2021)
Prague- Czech Republic, October 14-15, 2021
https://confscience.com/adsi/
All papers accepted in ADSI 2021 will be published in Springer CCIS
(C
FHPNC 2021 Call for Papers
==
Satellite event of the 26th ACM SIGPLAN International Conference on
Functional Programming (ICFP 2021), held on the 22nd of August.
TL;DR: Extended paper/abstract deadline to May 21st.
Scope
-
The ACM SIGPLAN International Workshop on Fu
31st International Symposium on
Logic-Based Program Synthesis and Transformation
LOPSTR 2021
http://saks.iasi.cnr.it/lopstr21/
Tallinn (Estonia) and Virtual
September 7-9, 2021
(co-located with PPDP 2021)
*** EXTENDED SUBMISSION DEADLINE: June 7, 2021 ***
* The conference will be held as a hy
Conference: The 9th International Conference on Current and Future Trends
of Information and Communication Technologies in Healthcare (ICTH)
Date: November 4-7, 2019
Location: Coimbra, Portugal
Website: http://cs-conferences.acadiau.ca/icth-19/
*
Tenth ACM Scala Symposium
https://2019.ecoop.org/home/scala-2019
London, UK
July 17, 2019
**NEW** Paper Submission Deadline - April 16, 2019
Scala is a general purpose programming language designed to express common
programming patterns in a concise, elegant, and type-safe way. It smoothly
integr
**
The 9th International Conference on Emerging Ubiquitous Systems and
Pervasive Networks (EUSPN 2018)
Date: November 5-8, 2018
Location: Leuven, Belgium
Website: http://cs-conferences.acadiau.ca/euspn-18/
***
Conference: The 8th International Conference on Current and Future Trends
of Information and Communication Technologies in Healthcare
Date: November 5-8, 2018
Location: Leuven, Belgium
Website: http://cs-conferences.acadiau.ca/icth-18/
***
**
The 9th International Conference on Emerging Ubiquitous Systems and
Pervasive Networks (EUSPN 2018)
Date: November 5-8, 2018
Location: Leuven, Belgium
Website: http://cs-conferences.acadiau.ca/euspn-18/
***
Conference: The 8th International Conference on Current and Future Trends
of Information and Communication Technologies in Healthcare
Date: November 5-8, 2018
Location: Leuven, Belgium
Website: http://cs-conferences.acadiau.ca/icth-18/
***
*** CFP (Extended Deadline): IEEE DS-RT 2018 - extended deadline to
June 10th, 2018
Please accept our apologies if you have received multiple copies
** We apologize if you receive multiple copies of this message **
==
The 15th ACM International Symposium on Mobility Management
and Wireless Access (MobiWac 2017)
==
CALL FOR PAPERS
FHPC 2017
The 6th ACM SIGPLAN Workshop on
Functional High-Performance Computing
Oxford,
[ Apologies if you receive multiple copies of this email ]
Please, feel free to resubmit this call for papers to your colleagues or
any other person or institution if you think they could be interested.
---
CALL FOR PAPERS
-- Paper submissi
==
IMPORTANT: Extended Deadline:
Paper Submission (Extended): January 23rd, 2017
===
===
Call-For-Papers: 13th International Conference on Distributed
*
FINAL CALL FOR TALK PROPOSALS
DSLDI 2016
Fourth Workshop on
Domain-Specific Language Design and Implementation
October 31, 2016
Amsterdam, Netherlands
Co-located with SPLASH
http://2016.splashcon.org/track/dsldi2016
https://t
LAST CALL FOR CONTRIBUTIONS
EXTENDED DEADLINE
Workshop PLRR 2016
Parametricity, Logical Relations & Realizability
September 2, Marseille, France
http://lama.univ-savoi
CFP: WADT 2016 - 23rd International Workshop on Algebraic Development
Techniques (extended deadline)
Link: http://cs.swan.ac.uk/wadt16/
WhenSep 21, 2016 - Sep 24, 2016
Where Gregynog, UK
Submission Deadline June 17, 2016 (extended)
Notification
TFP 2016 has extended its deadline for draft papers by two weeks (now
April 25). Although all draft papers accepted to TFP 2016 will be
invited to submit to the post-symposium formal proceedings, authors
are reminded that they are not obligated to do so; we welcome works in
progress that may not
Array Programming
Santa Barbara, CA, USA
June 14, 2016
http://conf.researchr.org/home/array-2016/
EXTENDED DEADLINE: April 11, 2016 (FIRM
Call for Papers and Demos : FARM 2015
The 3rd ACM SIGPLAN International Workshop on
Functional Art, Music, Modelling and Design
Vancouver, Canada, 5 September, 2
==
CALL FOR PAPERS
FHPC 2015
The 4th ACM SIGPLAN Workshop on
Functional High-Performance Computing
Vancouver, British Colum
**
7th Working Conference on Verified Software: Theories, Tools, and
Experiments
July 18 - 19, 2015
San Francisco, California, USA
http://www.eecs.berkeley.edu/vstte15
Co-located with 25th Conference on Computer Aided Verification
CALL FOR PAPERS SBLP 2015
*** EXTENDED DEADLINE ***
19th Brazilian Symposium on Programming Languages
24-25 September 2015
Belo Horizonte, Brazil
http://cbsoft.org/sblp2015
+++
IMPORTANT DATES
Abstract submission (extended): 27 April, 2015
*
EXTENDED Deadline for talk proposals: 9th of April, 2015
If designed and implemented well, domain-specific languages (DSLs) combine the
best features of general-purpose programming languages (e.g., performance) with
high productivity
===
APLAS 2014
12th Asian Symposium on Programming Languages and Systems
http://www.math.nagoya-u.ac.jp/~garrigue/APLAS2014/
17-19 November 2014, Singapore
CALL FOR PAPERS
Abstracts due June 2 (full paper by June 8)
==
Extended submission deadline: May 23 (Friday), any time zone
Four more days to write a 2-page abstract
Submissions of demos, case studies and informed opinions are
particularly encouraged!
Higher-order, Typed, Inferred, Strict: ACM SIGPLAN ML Family Workshop
Thursday September 4, 2014, Gothenbur
!!! EXTENDED DEADLINE !!!
FINAL CALL FOR PAPERS
First International Workshop on
Rewriting Techniques for Program Transformations and Evaluation (WPTE&#x
http://hope2013.mpi-sws.org
*** Extended Deadline: JULY 15, 2013 (Monday) ***
--
HOPE 2013 aims at bringing together researchers interested in the design,
semantics, implementation, and verification of higher-order effectful
programs
CALL FOR PAPERS - MEMOCODE 2013
(NOTE: NEW EXTENDED DATES for PAPERS and DESIGN CONTEST)
Eleventh ACM/IEEE
International Conference on Formal Methods and Models for Codesign
http://www.memocode-conference.com
18-20 October 2013, Portland, Oregon, USA
Co-located with DIFTS and FMCAD
SCOPE
The
[apologies for any cross-posting]
4th OPEN Answer Set Programming Competition 2013
Call for Benchmark Problems
University of Calabria - Vienna University of Technology
[Please post - apologies for multiple copies.]
*** Submission deadline extended to April 13, 2012 ***
WING 2012 - 4th International Workshop on INvariant Generation
http://cs.nyu.edu/acsys/wing2012/
June 30, 2012
Manchester, UK
VSTTE 2012
Verified Software: Theories, Tools and Experiments
January 28-29, 2012
Philadelphia, USA (co-located with POPL and VMCAI)
https://sites.google.com/site/vstte2012/
(*** NEW SUBMISSION DEADLINE: September 10, 2011 ***)
The Fourth Intern
The IFL deadline for submissions has been moved to the end of August. We already
have a great program scheduled (to be posted shortly), and hope to get a few
more
interesting late additions because of this extension.
CALL FOR PAPERS
23rd Symposium on Implementation and
Application of Functional
CALL FOR PAPERS - SEFM 2011
The 9th International Conference on SOFTWARE ENGINEERING AND FORMAL
METHODS (SEFM)
14-18 November 2011
Montevideo, Uruguay
URL: http://www.fing.edu.uy/inco/eventos/SEFM2011
+++
IMPORTANT DATES (EXTENDED DEADLINES)
IFIP Working Conference on Domain-Specific Languages (DSL)
6-8 September 2011, Bordeaux, France
http://dsl2011.bordeaux.inria.fr/
CALL FOR PAPERS (EXTENDED DEADLINE; IFIP SPONSORSHIP)
Domain-specific languages have long been a popular way to shorten
the distance from ideas to products in
extended submission deadline:April 29, 2011
Notification of acceptance (for presentation): May 1, 2011
Early Registration deadline
for extended deadline papers: May 5, 2011
FOPARA workshop:May 19, 2011
Submission for formal review deadline
[Apologies for multiple copies]
JOURNAL OF APPLIED LOGIC
Special Issue on Automated Specification and Verification of Web Systems
http://www.risc.uni-linz.ac.at/people/tkutsia/jal-wwv.html
DEADLINE EXTENSION
==
**
CALL FOR PAPERS: ICECCS 2011
http://www.iceccs.org/2011
16th Annual IEEE International Conference on the
Engineering of Complex Computer Systems (ICECCS)
spo
-- Apologies for multiple copies --
VSTTE 2010: Workshops on Theories, Tools and Experiments
Edinburgh, Scotland, 19th August 2010
(*** NEW SUBMISSION DEADLINE: May 28, 2010 *)
The Third International Conference on Verified Software: Theories,
Tools, and E
Due to several requests, the TGC'10 chairs have decided to extend the
deadline for submsissions to January 20th
Call for Papers
TGC 2010
Fifth International S
LAST CALL FOR PAPERS
Tenth International Symposium on Functional and Logic Programming
(FLOPS 2010)
April 19-21, 2010
**
CALL FOR PAPERS: UML&AADL2009
http://www.artist-embedded.org/artist/UML-AADL-2009.html
Workshop held in conjunction with ICECCS 2009
The fourteenth IEEE Internat
*
* FINAL CALL FOR PAPERS -- EXTENDED DEADLINE!!
* CALL FOR PARTICIPATION
*
* 20th International Symposium on the
* Implementation and
***We apologise if you have received multiple copies of this call for
papers.***
Please circulate to colleagues who might be interested.
HASE 2008
11th High Assurance Systems Engineering Symposium
Nanjing, China
December 3-5,
Note Speaker: Dexter Kozen (to be confirmed)
Invited Speakers: Stefan Milius and Dirk Pattinson
Important Dates
Extended deadline for submission of regular papers: January 21, 2008
Notification of acceptance of regular papers: February 11, 2008.
Final version for the preliminary proceedings
Call for Copy
The Monad.Reader - Issue 8
I would like to welcome articles for the next issue of The
Monad.Reader. Due to a lack of submissions, I have extended the
deadline for the next issue to
** September
Please note: The paper submission deadline has been extended to April
30, 2007
The 2nd IEEE International Workshop on
Software Stability at Work
SSW 2007
Invitation
Las Vegas, USA, August 13-15, 2007
(in conjunction with IEEE IRI 2007)
http://www.sis.pitt.edu/~iri07/ (IEEE IRI 2007 Link)
Please note: The paper submission deadline has been extended to April
30, 2007
The 2nd IEEE International Workshop Towards Stable and Adaptable
Software Architectures
SASA 2007
Invitation
Las Vegas, USA, August 13-15, 2007
(in conjunction with IEEE IRI 2007)
http://www.sis.pitt.edu/~iri07
EXTENDED DEADLINE: July 1
Call for Papers: CPSec 2006
2nd International Workshop on
Applications of
Constraint Satisfaction and Programming
> If you would extend the deadline to sometime after May 23, when the
> accepted Haskell.org SoC applications are revealed, you could perhaps get
> a lot of new projects to the list.
I would rather not do this. It is already later than in the previous
years for the May edition, and due to other co
> Dear Haskellers,
>
> the deadline for the May 2006 edition of the Haskell Communities
> and Activities Report is only a few days away -- but this is still
> enough time to make sure that the report contains a section on *your*
> project, on the interesting stuff that you've been doing; using or
>
Dear Haskellers,
the deadline for the May 2006 edition of the Haskell Communities
and Activities Report is only a few days away -- but this is still
enough time to make sure that the report contains a section on *your*
project, on the interesting stuff that you've been doing; using or
affecting Ha
We apologize in advance if you receive multiple copies of this CFP.
-
CALL FOR PAPERS (Extended Submission Deadline)
IEEE WOWMOM 2006
The 7th IEEE International Symposium on a World of Wireless, Mobile and
Mul
CALL FOR PAPERS
Software Verification Track
ACM Symposium on Applied Computing
April 23-27, 2006, Dijon, France
http://www.cs.wmich.edu/~zijiang/sac2006
***PAPER SUBMISSION DEADLINE: September 15, 2005
-
___
LOPSTR'05
EXTENDED DEADLINE FOR FULL PAPERS - 27th May 2005
Deadline for extended abst
Plan Execution: A Reality Check
Bridging the gap between plans and their execution.
A workshop held in conjunction with
The 15th International Conference on Planning and Scheduling
ICAPS 2005
Monterey, California
ICAPS 2005 Workshop Call for Papers
--
E X T E N D E D D E A D L I N E S
New date for subissions: MARCH 21ST
Workshop on "The Role of Ontologies in AI Planning and Scheduling"
http://decsai.ugr.es/~faro/works
Call For Submissions
*** EXTENDED DEADLINE: February 14th ***
**
Reduction strategies in rewriting and programming have attracted an
increasing attention within the last years. New types of reduction
* Extended Deadline (5 July) *
ICTAC 2004
FIRST INTERNATIONAL COLLOQUIUM ON THEORETICAL ASPECTS OF COMPUTING
Guiyang, China 20 - 24 September 2004
http://www.iist.unu.edu/ICTAC2004
IMPORTANT DATES
Submission
EXTENDED DEADLINE - Deadline June 20, 2004
**
MODEL-BASED REASONING IN SCIENCE AND ENGINEERING
ABDUCTION, VISUALIZATION, AND SIMULATION
MBR'04
Pavia, Italy, December
[ N O T E: E X T E N D E D D E A D L I N E ]
[ Please accept our apologies if you receive this message several times ]
---
C A L L F O R P A P E R S
[[ -- Apologies for multiple copies of this message -- ]]
+ + + + + WRLA'04 + + + + + LAST CALL FOR PAPERS + + + + + WRLA'04 + + + + +
EXTENDED
CALL FOR PAPERS
SBLP 2003 - 7th Brazilian Symposium on Programming Languages
Ouro Preto, MG, Brazil - May 28-30, 2003
http://www.inf.pucminas.br/sblp2003
Extended deadline: February
>SORRY for DUPLICATES
WSCG International Conferences in Central Europe
Deadline for Submission of contribution extended to: October 25, 2002 24:00
GMT (London time) dut to technical problems.
Call for Papers & Participation
==
FloC 2002 workshop SAVE 2002
Workshop on Specification, Analysis and Validation for Emerging Technologies
Copenhagen , Denmark, July 27, 2002
CALL FOR PAPERS
EXTENDED DEADLINE: MAY 15, 2002
Workshop on Generative Programming 2002 (GP2002)
Austin (Texas), April 15, 2002
http://www.cwi.nl/GP2002
(exte
RTA 2002 EXTENDED DEADLINE
In response to multiple requests, the program committee of RTA 2002
has decided to extend the submission deadline until
27th January
Authors are expected to submit a title and abstract by 15th January
We apologize for possible multiple postings.
One week extension of paper submission deadline and invited speakers
-
Within the last two weeks the conference chairs have received multiple
requests to extend the paper s
Apologies if you receive multiple copies
*
Due to a number of requests and some other reasons, the Deadline is
extended.
*
WICS'2002
The Fourth
CALL FOR PAPERS
Semantics, Applications and Implementation of Program Generation (SAIG'01)
PLI Workshop, September 6th, 2001.
(EXTENDED DEADLINE: June 1st, 2001)
Program generation has the prospect of being an integral
[Apologies for multiple copies of this announcement]
**
*** Last call for papers - extended deadline: March 12, 2001
[DEADLINE EXTENSION: The new deadline is Monday March 4th. The new
deadline is final and firm. Submissions already recieved before the
original deadline may be revisied, but please notify editor ASAP.
All submissions enter the review process as soon as they are recieved.]
later than December 1, 2000, which is an extended deadline.
Authors concerned about the appropriateness of a topic are encouraged to
consult with the program chairs prior to submission.
Complete papers should be submitted electronically, either in PostScript
or in PDF. (If this is a problem, please c
Dear Colleagues,
I apologize if you receive multiple copies of this message.
I would be grateful if you could distribute the Summer School
Call For Participation given below with the new deadline for
early registration (May 6th).
Best regards,
S. Sousa
C A L L F O RP A R T
91 matches
Mail list logo
