Venues
with Strong Rewriting Component
[ Conferences ]
[ Workshops ]
[ Schools ]
[ Journals ]
[ Series ]
[ Digital Libraries / Archives ]
Conferences
Formal Structures for Computation and Deduction
(
FSCD
, former
RTA
&
TLCA
):
FSCD'18
,
FSCD'17
,
FSCD'16
.
Conference on Automated Deduction
(
CADE
): (
IJCAR'18
),
CADE-26
, (
IJCAR'16
),
CADE-25
, (
IJCAR'14
),
CADE-24
, (
IJCAR'12
),
CADE-23
, (
IJCAR'10
),
CADE-22
, (
IJCAR'08
),
CADE-21
, (
IJCAR'06
),
CADE-20
, (
IJCAR'04
),
CADE-19
,
CADE-18
, (
IJCAR'01
),
CADE-17
,
CADE-16
,
CADE-15
,
CADE-14
,
CADE-13
,
CADE-12
,
CADE-11
,
CADE-10
,
CADE-9
,
CADE-8
,
CADE-7
,
CADE-6
,
CADE-5
, ...
Principles and Practice of Constraint Programming
(
CP
):
CP'18
,
CP'17
,
CP'16
,
CP'15
,
CP'14
,
CP'13
,
CP'12
,
CP'11
,
CP'10
,
CP'09
,
CP'08
,
CP'07
,
CP'06
,
CP'05
,
CP'04
,
CP'03
,
CP'02
,
CP'01
,
CP'00
,
CP'99
,
CP'98
,
CP'97
,
CP'96
,
CP'95
.
Computer Science Logic
(
EACSL
):
CSL'18
,
CSL'17
,
CSL'16
,
CSL'15
,
CSL-LICS'14
,
CSL'13
,
CSL'12
,
CSL'11
,
CSL'10
,
CSL'09
,
CSL'08
,
CSL'07
,
CSL'06
,
CSL'05
,
CSL'04
,
CSL'03
,
CSL'02
,
CSL'01
,
CSL'00
,
CSL'99
,
CSL'98
,
CSL'97
, ...
European Joint Conferences on Theory and Practice of Software
:
ETAPS'18
,
ETAPS'17
,
ETAPS'16
,
ETAPS'15
,
ETAPS'14
,
ETAPS'13
,
ETAPS'12
,
ETAPS'11
,
ETAPS'10
,
ETAPS'09
,
ETAPS'08
,
ETAPS'07
,
ETAPS'06
,
ETAPS'05
,
ETAPS'04
,
ETAPS'03
,
ETAPS'02
,
ETAPS'01
,
ETAPS'00
,
ETAPS'99
,
ETAPS'98
.
Theory and Practice of Software Development
:
TAPSOFT'97
,
TAPSOFT'95
, ...
Federated Logic Conference
:
FLoC'18
,
FLoC'14
,
FLoC'10
,
FLoC'06
,
FLoC'02
,
FLoC'99
,
FLoC'96
.
Functional and Logic Programming
:
FLOPS'18
,
FLOPS'16
,
FLOPS'14
,
FLOPS'12
,
FLOPS'10
,
FLOPS'08
,
FLOPS'06
,
FLOPS'04
,
FLOPS'02
,
FLOPS'01
,
FLOPS'99
,
FLOPS'98
,
FLOPS'96
,
FLOPS'95
.
Colloquium on Automata, Languages and Programming
(
ICALP
):
ICALP'18
,
ICALP'17
,
ICALP'16
,
ICALP'15
,
ICALP'14
,
ICALP'13
,
ICALP'12
,
ICALP'11
,
ICALP'10
,
ICALP'09
,
ICALP'08
,
ICALP'07
,
ICALP'06
,
ICALP'05
,
ICALP'04
,
ICALP'03
,
ICALP'02
,
ICALP'01
,
ICALP'00
,
ICALP'99
,
ICALP'98
,
ICALP'97
,
ICALP'96
, ...
International Joint Conference on Automated Reasoning
(
IJCAR
):
IJCAR'18
,
IJCAR'16
,
IJCAR'14
,
IJCAR'12
,
IJCAR'10
,
IJCAR'08
,
IJCAR'06
,
IJCAR'04
,
IJCAR'01
.
Logic In Computer Science
(
LICS
):
LICS'18
,
LICS'17
,
LICS'16
,
LICS'15
,
CSL-LICS'14
,
LICS'13
,
LICS'12
,
LICS'11
,
LICS'10
,
LICS'09
,
LICS'08
,
LICS'07
,
LICS'06
,
LICS'05
,
LICS'04
,
LICS'03
,
LICS'02
,
LICS'01
,
LICS'00
,
LICS'99
,
LICS'98
,
LICS'97
,
LICS'96
, ...
Principles and Practice of Declarative Programming
(
PPDP
):
PPDP'18
,
PPDP'17
,
PPDP'16
,
PPDP'15
,
PPDP'14
,
PPDP'13
,
PPDP'12
,
PPDP'11
,
PPDP'10
,
PPDP'09
,
PPDP'08
,
PPDP'07
,
PPDP'06
,
PPDP'05
,
PPDP'04
,
PPDP'03
,
PPDP'02
,
PPDP'01
,
PPDP'00
,
PPDP'99
.
Algebraic and Logic Programming
:
ALP'98
,
ALP'97
,
ALP'96
, ...
Symposium on Theoretical Aspects of Computer Science
(
STACS
):
STACS'18
,
STACS'17
,
STACS'16
,
STACS'15
,
STACS'14
,
STACS'13
,
STACS'12
,
STACS'11
,
STACS'10
,
STACS'09
,
STACS'08
,
STACS'07
,
STACS'06
,
STACS'05
,
STACS'04
,
STACS'03
,
STACS'02
,
STACS'01
,
STACS'00
,
STACS'99
,
STACS'98
,
STACS'97
, ...
Former conferences
Rewriting Techniques and Applications
(
RTA
):
RTA'15
,
RTA-TLCA'14
,
RTA'13
,
RTA'12
,
RTA'11
,
RTA'10
,
RTA'09
,
RTA'08
,
RTA'07
,
RTA'06
,
RTA'05
,
RTA'04
,
RTA'03
,
RTA'02
,
RTA'01
,
RTA'00
,
RTA'99
,
RTA'98
,
RTA'97
,
RTA'96
,
RTA'95
,
RTA'93
,
RTA'91
,
RTA'89
,
RTA'87
,
RTA'85
.
Typed Lambda Calculi and Applications
(
TLCA
):
TLCA'15
,
RTA-TLCA'14
,
TLCA'13
,
TLCA'11
,
TLCA'09
,
TLCA'07
,
TLCA'05
,
TLCA'03
,
TLCA'01
,
TLCA'99
,
TLCA'97
,
TLCA'95
,
TLCA'93
.
Federated Conference on Rewriting, Deduction and Programming
:
RDP'15
,
RDP'13
,
RDP'11
,
RDP'09
,
RDP'07
,
RDP'05
,
RDP'04
,
RDP'03
.
Joint Conference on Declarative Programming
:
AGP'02
,
AGP'01
,
AGP'00
,
AGP'99
,
AGP'98
,
AGP'97
.
Constraints in Computational Logics
:
CCL'94
.
Computational Logic
:
CL'00
.
Workshops
Confluence
(IWC):
IWC'2018
,
IWC'2017
,
IWC'2016
,
IWC'2015
,
IWC'2014
,
IWC'2013
,
IWC'2012
.
Frontiers of Combining Systems
: (
IJCAR'18
),
FroCoS'17
, (
IJCAR'16
),
FroCoS'15
, (
IJCAR'14
),
FroCoS'13
, (
IJCAR'12
),
FroCoS'11
,
FroCoS'09
, (
IJCAR'08
),
FroCoS'07
, (
IJCAR'06
),
FroCoS'05
, (
IJCAR'04
),
FroCoS'02
,
FroCoS'00
,
FroCoS'98
,
FroCoS'96
.
Higher-Dimensional Rewriting and Applications
(HDRA):
HDRA'2018
,
HDRA'2017
,
HDRA'2016
,
HDRA'2015
.
Higher-Order Rewriting
(
HOR
):
HOR'2018
,
HOR'2016
,
HOR'2014
,
HOR'2012
,
HOR'2010
,
HOR'2009
,
HOR'2007
,
HOR'2006
,
HOR'2004
,
HOR'2002
.
Infinitary Rewriting
(WIR):
WIR'2014
,
WIR'2013
.
Rewriting Logic and its Applications
:
WRLA'18
,
WRLA'16
,
WRLA'14
,
WRLA'12
,
WRLA'10
,
WRLA'08
,
WRLA'06
,
WRLA'04
,
WRLA'02
,
WRLA'00
,
WRLA'98
,
WRLA'96
.
Rewriting Techniques for Program Transformations and Evaluation
(WPTE):
WPTE'2018
,
WPTE'2017
,
WPTE'2016
,
WPTE'2015
,
WPTE'2014
.
Term Graph Rewriting
:
TERMGRAPH'18
,
TERMGRAPH'16
,
TERMGRAPH'14
,
TERMGRAPH'13
,
TERMGRAPH'11
,
TERMGRAPH'09
,
TERMGRAPH'07
,
TERMGRAPH'06
,
TERMGRAPH'04
,
TERMGRAPH'02
.
Termination
:
WST'18
,
WST'16
,
WST'14
,
WST'13
,
WST'12
,
WST'10
,
WST'09
,
WST'07
,
WST'06
,
WST'04
,
WST'03
,
WST'01
,
WST'99
,
WST'97
,
WOT'95
, WOT'93.
Unification
(
UNIF
):
UNIF'18
,
UNIF'17
,
UNIF'16
,
UNIF'15
,
UNIF'14
,
UNIF'13
,
UNIF'12
,
UNIF'11
,
UNIF'10
,
UNIF'09
,
UNIF'08
,
UNIF'07
,
UNIF'06
,
UNIF'05
,
UNIF'04
,
UNIF'03
,
UNIF'02
,
UNIF'01
,
UNIF'00
,
UNIF'99
,
UNIF'98
,
UNIF'97
,
UNIF'96
, ...
Former workshops
Rewrite Rule Laboratory
(RTA-0):
RRL'83
.
Conditional (and Typed) Term Rewriting Systems
(now merged with RTA):
CTRS'94
,
CTRS'92
,
CTRS'90
,
CTRS'87
.
Construction of Computational Logics
(
CCL
).
Reduction Strategies in Rewriting and Programming
(
WRS
):
WRS'13
,
IWS'12
,
WRS'11
,
IWS'10
,
WRS'09
,
WRS'08
,
WRS'07
,
WRS'06
,
WRS'05
,
WRS'04
,
WRS'03
,
WRS'02
,
WRS'01
.
First-Order Theorem Proving
(
FTP
): (
IJCAR'12
),
FTP'11
,
FTP'09
, (
IJCAR'08
),
FTP'07
, (
IJCAR'06
),
FTP'05
, (
IJCAR'04
),
FTP'03
,
IJCAR'01
,
FTP'00
,
FTP'98
,
FTP'97
.
Language Descriptions, Tools and Applications
(
LDTA
):
LDTA'12
,
LDTA'11
,
LDTA'10
,
LDTA'09
,
LDTA'08
,
LDTA'07
,
LDTA'06
,
LDTA'05
,
LDTA'04
,
LDTA'03
,
LDTA'02
,
LDTA'01
.
Rule-Based Programming
:
RULE'10
,
RULE'09
,
RULE'08
,
RULE'07
,
RULE'06
,
RULE'05
,
RULE'04
,
RULE'03
,
RULE'02
,
RULE'01
,
RULE'00
.
Haskell And Rewriting Techniques
(HART):
HART'2013
.
Compilers by Rewriting, Automated
:
COBRA'11
.
Security and Rewriting Techniques
:
SecReT'10
,
SecReT'09
,
SecReT'08
,
SecReT'07
,
SecReT'06
.
Rewriting in Proof and Computation
:
RPC'01
.
Explicit Substitutions: Theory and Applications to Programs and Proofs
:
WESTAPP'01
,
WESTAPP'00
,
WESTAPP'99
,
WESTAPP'98
.
Logics, Types and Rewriting
:
LTR'00
.
Schools
International School on Rewriting
(ISR):
2017
,
2015
,
2014
,
2012
,
2010
,
2009
,
2008
,
2007
,
2006
.
Journals
Acta Informatica
.
Applicable Algebra in Engineering, Communication and Computing
.
Annals of Mathematics and Artificial Intelligence
.
Electronic Notes in Theoretical Computer Science
.
Fundamenta Informaticae
.
Information and Computation
.
Journal of the ACM
(Association for Computing Machinery).
Journal of Automated Reasoning
.
Journal of Functional and Logic Programming
.
Journal of Functional Programming
.
Journal of the IGPL
(Interest Group in Pure and Applied Logics).
Journal of Logic and Computation
.
[
Journal of Logic Programming
].
Theory and Practice of Logic Programming
.
Journal of Logic and Algebraic Programming
.
Journal of Symbolic Computation
.
Theoretical Computer Science
.
Series
Lecture Notes in Computer Science
.
Digital Libraries, Conference Announcements and Archives
Science Direct
.
Michael Ley's
Conference
and
Journal
archives
.
The ACM
Calendar of Events
.
Realized by
Nachum Dershowitz
and
Laurent Vigneron
.
Last modified: 2-Sep-2021
.