Navigation
|
Here are the contests we support:
ISPD: Contests on physical design topics. To collect your prize, you need to make yoru source accessible to other researchers. (This policy has been successful so far) Budget $1750/year - $1000 first, $500 second, $250 third place. in 2008, ISPD kicked in an equal amount. 2007: Global routing: www.sigda.org/ispd2007/rcontest/ 2008: Global Routing: www.sigda.org/ispd2008/contests/ispd08rc.html 2009: Clock tree generation: www.sigda.org/ispd/contests/ispd09cts.html Memocode: The Memocode Contest is a month-long team design effort on a announced problem which must be solved on a limited, reconfigurable platform. The 2007: (Matrix Multiplication): http://memocode.irisa.fr/2007/designcontest07/ 2008: (Encripted File Sorting): http://memocode.irisa.fr/2008/designcontest08/ 2009: (--): http://www.ece.cmu.edu/~jhoe/wiki/index.php/2009_Memocode_Co-Design_Contest IWLS? IWLS details go here
Possible workshops and conferences that may be ccandidates for future CEDA support - Please take a look and see which ones make sense. BPR Bit Precise Reasoning Intl Workshop (affiliated w/ CAV)
CAV International Conference on Computer Aided Verification
DCC Intl Conference on Design Computing Cognition
DFTS Intl Symposium on Defect and Fault Tolerance in VLSI Systems
DSN International Conference on Dependable Systems and Networks
DVCon DVcon
EclipseCon EclipseCon
ECS Electrochemical Society Meeting
EIM Enterprise Information Management Conference
EIPBN International Conference on Electron, Ion, and Photon Beam Technology and Nanofabrication
ETAPS European Joint Conferences on Theory and Practice of Software
FMCAD Formal Methods in Computer Aided Design
HLDVT High Level Design Validation and Test Workshop
ICFP International Conference on Functional Programming
ICICDT International Conference on IC Design and Technology
ICWE International Wireless Communications Expo
IEDM International Electron Devices Meeting
IEEE APS IEEE Intl Symposium on Antennas and Propagation
IEMT International Electronics Manufacturing Technology Conference
IMS / RFIC International Microwave Symposium / Radio Frequency Integrated Circuits Symposium
IRPS International Reliability Physics Symposium
ISPLED International Symposium on Low Power Electronics and Design
ISQED International Symposium on Quality Electronic Design
ISSCC Intl Solid State Circuits Conference
ISSTA International Symposium on Software Testing and Analysis
ITSW International Test Synthesis Workshop
IWCE International Wireless Communication Expo
IWLS International Workshop on Logic and Synthesis
NoCs Intl Symposium on Networks-on-Chip
OOPSLA Object Oriented Programming Systems, Languages, and Applications
OSCON Open Source Conference
PNSQC Pacific Northwest Software Quality Conference
PODC / CONCUR Principles of Distributed Computing & Conference on Concurrency Theory
SAT International Conference on Theory and Applications of Satisfiability Testing
SISPAD Intl Conference on Simulation of Semiconductor Processes and Devices
SMT International Workshop on Satisfiability Modulo Theories
SPIE Adv Lithography SPIE Advanced Lithography Conference
SwSTE International Conference on Software – Science, Technology and Engineering
TACAS (ETAPS?) Tools and Algorithms for the Construction and Analysis of Systems
TAU International Workshop on Timing Issues in the Specification and Synthesis of Digital Systems
TPHOLs International Conference on Theorem Proving in Higher Order Logics
TTVSI Tools and Techniques for Verification of System Infrastructure
VDAT VLSI Design And Test Symposium
VLSI Intl Conference on VLSI Design
VMCAI/POPL Verification, Model Checking, and Abstract Interpretation & Symposium on Principles of Programming Languages
VTS VLSI Test Symposium |