Past Events

RTA 2008 (Hagenberg, Austria, from 2008-07-15 09:00 to 2008-07-17 17:00)

Rewriting Techniques and Applications 19th International Conference RTA is the major forum for the presentation of research on all aspects of rewriting.

SCSS 2008 (Hagenberg, Austria, from 2008-07-12 09:00 to 2008-07-12 17:00)

AUSTRIAN-JAPANESE WORKSHOP ON SYMBOLIC COMPUTATION IN SOFTWARE SCIENCE

Geometric Constraints and Reasoning/ SAC 2008 (Fortaleza, Ceara, Brazil, from 2008-03-16 12:45 to 2008-03-20 12:45)

GCR2008 s a technical track of the international Symposium on Applied Computing (SAC, see http://www.acm.org/conferences/sac/sac2008). For the past twenty years the ACM Symposium on Applied Computing (SAC) has been a primary forum for applied computer scientists, computer engineers and application developers to gather, interact, and present their work.

Track on Constraint Solving and Programming /SAC 2008 ( Fortaleza, Cear�, Brazil, from 2008-03-16 09:00 to 2008-03-20 17:00)

The track is concerned with all aspects of computing with constraints including algorithms, applications, environments, languages, models, and systems. Contributions are welcome from any discipline concerned with constraints, including artificial intelligence, combinatorial algorithms, computational logic, concurrent computation, databases, discrete mathematics, operations research, programming languages, and symbolic computation. We also solicit papers from any domain employing constraints, including computational linguistics, configuration, decision support, design, diagnosis, graphics, hardware verification, molecular biology, planning, qualitative reasoning, real-time systems, resource allocation, robotics, scheduling, software engineering, temporal reasoning, vision, visualization, and user interfaces. Papers that bridge disciplines or combine theory and practice or discuss novel reasoning methods are especially welcome. A special attention is focused around the use of constraint technologies in the networking, wireless and internet fields.

ASCM 2007 (Singapore, from 2007-12-15 19:45 to 2007-12-17 19:45)

The Asian Symposia on Computer Mathematics (ASCM) is a series of conferences which offers a forum for participants to present original research, to learn of research progress and new developments, and to exchange ideas and views on doing mathematics using computers.

APLAS 2007 (Singapore, from 2007-11-29 09:00 to 2007-12-01 18:00)

The Fifth ASIAN Symposium on Programming Language and Systems

LaSCoG (Gdansk, POLAND, from 2007-09-07 09:55 to 2007-09-12 09:55)

Large Scale Computations on Grids (LaSCoG) Workshop will be held in conjunction with the Seventh International Conference on Parallel Processing and Applied Mathematics (PPAM 2007, http://ppam.pcz.pl).

SCORE Summer Workshop on Symbolic Computation and Software Verification (Fuji Susono, Japan, from 2007-08-31 14:00 to 2007-09-03 12:00)

SCORE Summer Workshop 2007

First Austria-Japan Workshop on Symbolic Computation and Software Verification (Kopfgebaeude 416, Johannes Kepler University Linz, Austria, from 2007-07-01 13:00 to 2007-07-01 21:00)

July 1, 2007, Kick-off meeting.

MKM 2007 (, from 2007-06-27 09:25 to 2007-06-30 09:25)

Second CFP on Sixth International Conference on MATHEMATICAL KNOWLEDGE MANAGEMENT

WFLP 2007 (Paris, from 2007-06-25 21:15 to 2007-06-25 21:15)

Functional and (Constraint) Logic Programming)

WING 2007 (Hagenberg, Austria, from 2007-06-25 13:20 to 2007-06-26 13:20)

1st International Workshop on INvariant Generation

AWFS 2007 (Xiamen, from 2007-06-01 00:00 to 2007-06-03 00:00)

Fifth Asian Workshop on Foundations of Software (AWFS 2007)