|

Parent Categories/Forums: None

Edit this Forum

UIUC Maude

This forum is an archive for the mailing list: maude-users@maude.cs.uiuc.edu (mailing list options). Messages posted here will be sent to this mailing list.

Maude is a high-performance reflective language and system supporting both equational and rewriting logic specification and programming for a wide range of applications.

Child Forums (0): None

To migrate this forum to the new Nabble2 system, please post a request in the Nabble Support forum — Learn more

Post New Message :: Alert me of new posts :: Rating Filter:

« Newest ‹ Newer — Threads 71-105 — Older ›

Thread (130 Threads)

Rating

Replies

Last Message

SAS 2008 - Final CFP by Salvador Lucas

0

by Salvador Lucas

CFP: RULE 2008 by Salvador Lucas

0

by Salvador Lucas

WRLA'08 - Final CFP by Rosu, Grigore

0

by Rosu, Grigore

New MU-TERM site and web interface by Salvador Lucas

0

by Salvador Lucas

2nd CfP: Language Descriptions, Tools and Applications (LDTA 2008) by Jurgen Vinju

0

by Jurgen Vinju

Postdoc Position at Queen's University in Foundations of MDD by Juergen Dingel

0

by Juergen Dingel

2nd CFP: 3rd Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'07) by Santiago Escobar

0

by Santiago Escobar

2 PhD positions in Formal Methods at University of Oslo, Deadline: 1. November by Joe Hendrix

0

by Joe Hendrix

2nd CFP: WRS 2007 (Reduction Strategies in Rewriting and Programming) by Francisco Durán

2

by Steven Eker

WRLA 2008 call for papers by Narciso Marti Oliet

0

by Narciso Marti Oliet

1st CFP: 3rd Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'07) by Santiago Escobar

0

by Santiago Escobar

Associate Professor Position in Formal Methods at the University of Oslo, Norway by Einar Broch Johnsen

0

by Einar Broch Johnsen

Call for papers: LDTA 2008 by Jurgen Vinju

0

by Jurgen Vinju

CfP: Nordic Workshop on Programming Theory (NWPT'07) by Einar Broch Johnsen

0

by Einar Broch Johnsen

CFP: 3rd Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'07) by Santiago Escobar

0

by Santiago Escobar

Call for papers: FLACOS07 CALL FOR PAPERS First Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS'07) Oslo, Norway, 10-12 October, 2007 http://www.ifi.uio.no/flacos07 The fast evolution of the Internet has popular by Gerardo Schneider

0

by Gerardo Schneider

Maude strategy language prototype by Alberto Verdejo

0

by Alberto Verdejo

CfP: Nordic Workshop on Programming Theory (NWPT'07) by Einar Broch Johnsen

0

by Einar Broch Johnsen

CALCO-07 - Call for Participation by Joe Hendrix

0

by Joe Hendrix

Oslo: PhD Position in Formal Methods for Sensor Networks by Einar Broch Johnsen

0

by Einar Broch Johnsen

[Fwd: CFP: International School on Rewriting] by Salvador Lucas

0

by Salvador Lucas

2nd IEEE International Workshop on Software Stability at Work (SSW 2007) by E. Segura

0

by E. Segura

CFP - 2nd IEEE International Workshop Towards Stable and Adaptable Software Architectures (SASA 2007) by E. Segura

0

by E. Segura

specification of mapping rules with MAUDE rewriting rules by boutekkouk

0

by boutekkouk

2cfc: CALCO-jnr 2007: CALCO Young Researchers Workshop, Bergen, Norway by Monika Seisenberger

0

by Monika Seisenberger

ICTAC 2007: Call for Papers by Bernhard K. Aicherni...

0

by Bernhard K. Aicherni...

[Fwd: RTA'07: Second Call for Papers] by Salvador Lucas

0

by Salvador Lucas

CALCO 2007 - Call for Papers by Azadeh Farzan

0

by Azadeh Farzan

1cfc: CALCO-jnr 2007 (Conference on Algebra and Coalgebra in Computer Science), Bergen, Norway by Monika Seisenberger

0

by Monika Seisenberger

FMOODS 07 CFP by Einar Broch Johnsen

0

by Einar Broch Johnsen

RTA'07 - CfP by Salvador Lucas

0

by Salvador Lucas

type inference...? by Meredith Gregory

2

by Meredith Gregory

full maude: show search path by Peter Simons

0

by Peter Simons

HOR'06 CALL FOR PARTICIPATION by Azadeh Farzan

0

by Azadeh Farzan

Last CFP (4 days left): 2nd Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'06) by Santiago Escobar

0

by Santiago Escobar

Post New Message :: Alert me of new posts ::

« Newest ‹ Newer — Threads 71-105 — Older ›