IMPACT SCORE JOURNAL RANKING CONFERENCE RANKING Conferences Journals Workshops Seminars SYMPOSIUMS MEETINGS BLOG LaTeX 5G Tutorial Free Tools
TyDe 2020 : 5th Workshop on Type-Driven Development
TyDe 2020 : 5th Workshop on Type-Driven Development

TyDe 2020 : 5th Workshop on Type-Driven Development

Online (co-located with ICFP 2020)
Event Date: August 23, 2020 - August 23, 2020
Abstract Submission Deadline: May 26, 2020
Submission Deadline: May 19, 2020
Notification of Acceptance: June 09, 2020
Camera Ready Version Due: June 30, 2020




About

The workshop on Type-Driven Development aims to show how static type information may be used effectively in the development of computer programs. Co-located with ICFP, this workshop brings together leading researchers and practitioners who are using or exploring types as a means of program development.


Call for Papers

We welcome all contributions, both theoretical and practical, on a range of topics including:

  • dependently typed programming;
  • generic programming;
  • design and implementation of programming languages, exploiting types in novel ways;
  • exploiting typed data, data dependent data, or type providers;
  • static and dynamic analyses of typed programs;
  • tools, IDEs, or testing tools exploiting type information;
  • pearls, being elegant, instructive examples of types used in the derivation, calculation, or construction of programs.



Summary

TyDe 2020 : 5th Workshop on Type-Driven Development will take place in Online (co-located with ICFP 2020). It’s a 1 day event starting on Aug 23, 2020 (Sunday) and will be winded up on Aug 23, 2020 (Sunday).

TyDe 2020 falls under the following areas: PROGRAMMING LANGUAGES, FUNCTIONAL PROGRAMMING, GENERIC PROGRAMMING, etc. Submissions for this Workshop can be made by May 19, 2020. Authors can expect the result of submission by Jun 09, 2020. Upon acceptance, authors should submit the final version of the manuscript on or before Jun 30, 2020 to the official website of the Workshop.

Please check the official event website for possible changes before you make any travelling arrangements. Generally, events are strict with their deadlines. It is advisable to check the official website for all the deadlines.

Other Details of the TyDe 2020

  • Short Name: TyDe 2020
  • Full Name: 5th Workshop on Type-Driven Development
  • Timing: 09:00 AM-06:00 PM (expected)
  • Fees: Check the official website of TyDe 2020
  • Event Type: Workshop
  • Website Link: https://icfp20.sigplan.org/home/tyde-2020
  • Location/Address: Online (co-located with ICFP 2020)


Credits and Sources

[1] TyDe 2020 : 5th Workshop on Type-Driven Development


Check other Conferences, Workshops, Seminars, and Events


OTHER PROGRAMMING LANGUAGES EVENTS

FE-CPS 2022: 1st International Workshop on Formal Engineering of Cyber-Physical Systems
Cluj-Napoca, Romania
Jul 8, 2022
LearnAut 2022: Learning & Automata 2022
Paris, France
Jul 4, 2022
MEMOCODE 2022: 20th ACM/IEEE International Symposium on Formal Methods and Models for System Design
Shanghai, China
Oct 13, 2022
HOPE 2022: ACM SIGPLAN Workshop on Higher-Order Programming with Effects
Ljubljana, Slovenia
Sep 11, 2022
MPLR 2022: 19th International Conference on Managed Programming Languages & Runtimes
Brussels, Belgium
Sep 14, 2022
SHOW ALL

OTHER FUNCTIONAL PROGRAMMING EVENTS

AFDP 2021: Agile and Functional Data Pipelines
Warsaw
Mar 23, 2021
PADL 2021: 23rd International Symposium on Practical Aspects of Declarative Languages
Copenhagen, Denmark
Jan 18, 2021
IFL 2020: The 32nd Symposium on Implementation and Application of Functional Languages
Online
Sep 02, 2020
TFP 2020: Trends in Functional Programming Conference Series : Trends in Functional Programming  
Krakow, Poland
Feb 13, 2020
IFL 2019: The 31st symposium on Implementation and Application of Functional Languages Conference Series : Implementation and Application of Functional Languages  
Singapore
Sep 25, 2019
SHOW ALL