Products
IP Reports
Search
Patexia Concierge
Patent Analyzer
Trademark Analyzer
Litigation Analyzer
All Products
Services
Lateral Opportunities
Expert Witness
Research Studies
Strategic Partnership
All Services
IP Community
IP Community
IP Webinars
In the News
Company
About Us
Press Release
Careers
Contact Us
Search
Login
Join
Patexia
Interest Groups
Message:*
Formal Methods
Summary
Newsfeed
Contests
Followers
22
Followers
Morgan Tyrone
Ciprian Teodorov
Jay Anand Singh
Eric Labarre
George Catalin
Uriel Carmona-Villegas
Harland Duncan
Test Resolver
Terry Wilson
Azusa Suganuma
See All Followers »
Formal Methods > Contests
Filter:
All
Private
Public
Find a Contest
Contest
Days left
Prize
Instruction Level Parallel Processing
Patent Mining
SYSTEMS CONTROL
,
THEORY OF COMPUTING
,
PROGRAMMING LANGUAGES
,
OPERATING SYSTEMS
,
FORMAL METHODS
,
COMPUTER ARCHITECTURE
,
COMPUTER SOFTWARE
,
SEMICONDUCTORS
Closed
$5,000
Menu
Log In
Products
IP Reports
Search
Patexia Concierge
Patent Analyzer
Trademark Analyzer
Litigation Analyzer
All Products
Services
Lateral Opportunities
Expert Witness
Research Studies
Strategic Partnership
All Services
IP Community
IP Community
IP Webinars
In the News
Company
About Us
Press Release
Careers
Contact Us
