Where is TLCA 2015 held?

TLCA 2015 is held in Warsaw, Poland.

When does TLCA 2015 take place?

TLCA 2015 takes place on 2015-06-29.

What is the ranking of TLCA?

TLCA is ranked QUALIS B1. These are categorical rankings maintained by the respective bodies (China Computer Federation, ICORE Inc., and Brazilian CAPES).

Conference Information

TLCA 2015: International Conference on Typed Lambda Calculi and Applications

Q: What is the submission deadline for TLCA 2015?

The paper submission deadline for TLCA 2015 (International Conference on Typed Lambda Calculi and Applications) is 2015-01-30.

Please Login to view website of conference

Free account: view official websites, track deadlines, and get email reminders.

Register Login

Embed deadline badge

Get this via API

Search and ranking lists need no credentials at all; full detail for this page needs a free API key. See the developer guide.

Submission Date:

2015-01-30

Notification Date:

2015-04-02

Conference Date:

2015-06-29

Location:

Warsaw, Poland

Years:

13

QUALIS: B1 Viewed: 26998 Tracked: 1 Attend: 0

Conference Partner Index (CP-I)

56.8 / 100

Ranked #739 of 5,680 conferences · Top 13%

Academic recognition (35%)		78
Submission selectivity (20%)	No data - scored at the neutral baseline of 50	—
Editions held (20%)		71
Community attention (10%)		15
Public record completeness (15%)		25

Inputs used: Listed as QUALIS B1 · Editions on record: 13 · Researchers following it here: 1 · Researchers who opened this page in the past 24 months: 2

Missing from the public record: Historical acceptance rates (+4.5) · Past editions (+3.0) · Best-paper records (+2.3)
Organizers can add these from this page after claiming the conference; scores are recomputed nightly. How to raise this score

Confidence 80% - the share of the score backed by observed data rather than the neutral baseline. How this score is calculated · Browse the ranking · Algorithm version 1.1 · Computed 2026-09-12

Get notified when the next edition opens

This edition is over. Create a free account and we will email you as soon as the next call for papers is published.
Based on the previous edition, the next deadline is estimated around 2027-01.

Notify me about new calls for papers Already have an account? Login

Free account. At most one email a day, and every email has a one-click unsubscribe link.

Call For Papers

TLCA 2015 (International Conference on Typed Lambda Calculi and Applications) is a QUALIS B1 conference held in Warsaw, Poland on 2015-06-29. The paper submission deadline is 2015-01-30. Acceptance notifications are sent on 2015-04-02.

The 13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015) is a forum for original research in the theory and applications of typed lambda calculus, broadly construed. Suggested, but not exclusive, list of topics for submission are: Proof-theory: natural deduction, sequent calculi, cut elimination and normalization, propositions as types, linear logic and proof nets, type-theoretic aspects of computational complexity. Semantics: denotational semantics, game semantics, realisability, domain theory, categorical models, higher order semantics of natural language. Types: subtypes, dependent types, polymorphism, inductive, coinductive and recursive types, intersection types and related approaches, type inference and type checking, types in program analysis and verification, types in proof assistants, homotopy type theory. Programming: foundational aspects of functional programming, object-oriented programming and other programming paradigms, calculi for higher order concurrency (e.g. pi-calculus), flow analysis of higher-type computation, program equivalence, program transformation and optimization. Other: typed lambda calculi in education, proof systems based on lambda calculus to teach mathematics, lambda calculi as a unified notation in scientific education. The TLCA serves as a forum for presenting original research in the theory and applications of typed lambda calculus, broadly construed.

Last updated by Dou Sun on 2015-01-10

Related Conferences

CCF	ICORE	CP-I	Short	Full Name	Submission	Conference
A	A*	92.4	SIGIR	International Conference on Research and Development in Information Retrieval	2026-01-15	2026-07-20
A	A*	97.7	AAAI	AAAI Conference on Artificial Intelligence	2026-07-21	2027-02-16
A	A*	91.1	CVPR	IEEE Conference on Computer Vision and Pattern Recognition	2025-11-06	2026-06-03
B	A*	89.7	ICRA	International Conference on Robotics and Automation	2026-09-15	2027-05-24
B	A*	94.0	IJCAI	International Joint Conference on Artificial Intelligence	2026-01-31	2026-08-15
A	A*	89.3	STOC	ACM Symposium on Theory of Computing	2025-11-04	2026-06-22
C		87.3	ICC	International Conference on Communications	2026-10-02	2027-05-30
C	B	62.6	IJCNN	International Joint Conference on Neural Networks	2027-01-31	2027-06-14
B		91.1	ICASSP	International Conference on Acoustics, Speech and Signal Processing	2026-09-16	2027-05-16
B	A*	79.4	PODS	ACM SIGMOD Conference on Principles of DB Systems	2026-12-03	2027-06-13

Related Journals

CCF	Full Name	Impact Factor	Publisher	ISSN
A	IEEE Transactions on Multimedia	9.7	IEEE	1520-9210
C	Knowledge-Based Systems	7.2	Elsevier	0950-7051
B	Software & Systems Modeling	3.2	Springer	1619-1366
A	IEEE Transactions on Computers	3.8	IEEE	0018-9340
C	Future Generation Computer Systems	5.9	Elsevier	0167-739X
C	Neurocomputing	6.5	Elsevier	0925-2312
C	Pattern Recognition Letters	3.9	Elsevier	0167-8655
B	Pattern Recognition	7.6	Elsevier	0031-3203
	IEEE Access	3.6	IEEE	2169-3536
A	IEEE Transactions on Dependable and Secure Computing	7.5	IEEE	1545-5971

Comments 0

No comments yet.

Please Login to post a comment