tag:calagator.org,2005:/events/searchCalagator: Events tagged with: acm2015-11-22T23:52:01-08:00tag:calagator.org,2005:Calagator::Event/12504557582008-09-21T15:12:32-07:002008-09-22T08:57:00-07:00FMCAD 2008 (Formal Methods in Computer Aided Design)Monday, November 17, 2008 at 8:15am through Thursday, November 20, 2008 at 3:45pm at Embassy Suites Portland--Downtownhttp://calagator.org/events/12504557582008-11-17T08:15:00-08:002008-11-20T15:45:00-08:00<div class="vevent">
<h1 class="summary">FMCAD 2008 (Formal Methods in Computer Aided Design)</h1>
<div class='date'><time class="dtstart dt-start" title="2008-11-17T08:15:00" datetime="2008-11-17T08:15:00">Monday, November 17, 2008 at 8:15am</time> through <time class="dtend dt-end" title="2008-11-20T15:45:00" datetime="2008-11-20T15:45:00">Thursday, November 20, 2008 at 3:45pm</time></div>
<div class="location vcard">
<a href='/venues/202390607' class='url'>
<span class='fn org'>Embassy Suites Portland--Downtown</span>
</a>
<div class="adr">
<div class="street-address">319 Sw Pine St</div>
<span class="locality">Portland</span>
, <span class="region">OR</span>
<span class="postal-code">97204</span>
<div class='country-name'>US<div>
(<a href='https://maps.google.com/maps?q=319%20Sw%20Pine%20St,%20Portland%20OR%2097204%20US'>map</a>)
</div>
</div>
<div class="description">
<h1>Important Dates</h1>
<p> Early Registration Deadline: October 14, 2008
Hotel Registration Deadline: October 18, 2008</p>
<h1>Conference Overview</h1>
<p> FMCAD 2008 is the eighth in a series of conferences on the theory
and application of formal methods in hardware and system design and
verification. In 2005, the bi-annual FMCAD and sister conference
CHARME decided to merge to form an annual conference with a unified
community. The resulting unified FMCAD provides a leading
international forum to researchers and practitioners in academia and
industry for presenting and discussing groundbreaking methods,
technologies, theoretical results, and tools for formally reasoning
about computing systems, as well as open challenges therein.</p>
<h1>Local Information</h1>
<p> The Conference will be held at the Embassy Suites (Downtown) in
Portland, Oregon. We have negotiated a special rate with the hotel
for conference attendees. Please book early to secure the reduced
rate. For details, please see the conference web page. A dinner
cruise on the Willamette River is planned.</p>
<h1>Technical Program</h1>
<p> The technical program is available at the conference web page. It
includes 2 invited keynotes, 4 invited tutorials, 24 regular papers,
4 short papers, and 2 panels.</p>
<p> Keynotes</p>
<hr>
<p> o Ken McMillan (Cadence): Interpolation -- Theory and Applications
o Carl Seger (Intel): Formal Methods and Physical Design: Match Made
in Heaven or Fools' Paradise?</p>
<p> Tutorials</p>
<hr>
<p> o Kevin Jones (Rambus): Analog and Mixed Signal Verification: The
State of the Art and some Open Problems
o Moshe Levinger (IBM): Building a Bridge: From Pre-Silicon
Verification to Post-Silicon Validation
o Byron Cook (Microsoft): Computing Bounds on Space and Time for
Hardware Compilation.
o David Hardin (Rockwell Collins): Considerations in the Design and
Verification of Microprocessors for Safety-Critical and
Security-Critical Applications.</p>
<p> Panels</p>
<hr>
<p> o High Level Design and ESL: Who Cares?
o The Future of Formal: Academic, IC, EDA, and Software Perspectives</p>
<h1>Sponsors</h1>
<pre><code> Sponsored by: IEEE CEDA
</code></pre>
<p> In cooperation with: ACM SIGDA
Financial support: Cadence, Galois, IBM, Intel, NEC, Synopsys</p>
</div>
<h3>Links</h3>
<ul>
<li><a class="url" href="http://fmcad.org/2008">Website</a></li>
</ul>
<div class="tags">
<h3>Tags</h3>
<p><a class="p-category" href="/events/tag/acm">acm</a>, <a class="p-category" href="/events/tag/fmcad">fmcad</a>, <a class="p-category" href="/events/tag/formal methods">formal methods</a>, <a class="p-category" href="/events/tag/hardware">hardware</a>, <a class="p-category" href="/events/tag/ieee">ieee</a></p>
</div>
<div class='single_view_right'>
<a href='http://calagator.org/events/1250455758.ics'>Download to iCal</a>
<div id='edit_link'>
<p>You can <a href="http://calagator.org/events/1250455758/edit">edit this event</a>.</p>
</div>
<div id='metadata'>
This item was added directly to Calagator <br /><strong>Sunday, September 21, 2008 at 3:12pm</strong> and last updated <br /><strong>Monday, September 22, 2008 at 8:57am</strong>.
</div>
</div>
</div>
45.5221 -122.6741tag:calagator.org,2005:Calagator::Event/12504649332013-09-23T16:22:27-07:002013-09-23T16:22:27-07:00ACM Tech Talk: Connecting Android to MySQL: An Interactive TutorialFriday, October 18, 2013 from 4:30-5:30pm at Portland State University FAB, Room 86-09http://calagator.org/events/12504649332013-10-18T16:30:00-07:002013-10-18T17:30:00-07:00<div class="vevent">
<h1 class="summary">ACM Tech Talk: Connecting Android to MySQL: An Interactive Tutorial</h1>
<div class='date'><time class="dtstart dt-start" title="2013-10-18T16:30:00" datetime="2013-10-18T16:30:00">Friday, October 18, 2013 from 4:30</time>–<time class="dtend dt-end" title="2013-10-18T17:30:00" datetime="2013-10-18T17:30:00">5:30pm</time></div>
<div class="location vcard">
<a href='/venues/202391953' class='url'>
<span class='fn org'>Portland State University FAB, Room 86-09</span>
</a>
<div class="adr">
<div class="street-address">1900 SW Fourth Avenue</div>
<span class="locality">Portland</span>
, <span class="region">Oregon</span>
<span class="postal-code">97201</span>
<div class='country-name'>US<div>
(<a href='https://maps.google.com/maps?q=1900%20SW%20Fourth%20Avenue,%20Portland%20Oregon%2097201%20US'>map</a>)
</div>
</div>
<div class="description">
<p>In this talk, we will cover the basics of how to connect an Android device to a MySQL database. The technique used is adaptable to any database server (SQL Server, PostGRES, etc...)</p>
<p>As you probably know, Android does not have a built in functionality to access remote databases, instead it uses SQLLite, a flat file system.</p>
<p>However, using Java EE 7 and a simple PHP connectivity script, it is practically trivial to do the basic CRUD operations on a remotely hosted database.</p>
<p>Bring a laptop with Java 7 and Android SDK with Eclipse installed, and get ready to code. Or just bring yourself, and a sheet will be passed to have the connection code EMAILED to you after the venue.</p>
<p>About the speaker:
Sean Walsh (aka Azadi) is the current vice chair of the Portland State Chapter of the ACM. Sean is currently finishing his Bachelor's of Computer Science with a Mathematics Minor at Portland State University, and has industry experience with deploying mobile apps for Android.</p>
</div>
<h3>Links</h3>
<ul>
<li><a class="url" href="http://www.acm.pdx.edu">Website</a></li>
</ul>
<div class="tags">
<h3>Tags</h3>
<p><a class="p-category" href="/events/tag/Tech Talks">Tech Talks</a>, <a class="p-category" href="/events/tag/acm">acm</a>, <a class="p-category" href="/events/tag/android development">android development</a>, <a class="p-category" href="/events/tag/java ee">java ee</a>, <a class="p-category" href="/events/tag/portland state university">portland state university</a></p>
</div>
<div class='single_view_right'>
<a href='http://calagator.org/events/1250464933.ics'>Download to iCal</a>
<div id='edit_link'>
<p>You can <a href="http://calagator.org/events/1250464933/edit">edit this event</a>.</p>
</div>
<div id='metadata'>
This item was added directly to Calagator <br /><strong>Monday, September 23, 2013 at 4:22pm</strong>.
</div>
</div>
</div>
45.5096 -122.681tag:calagator.org,2005:Calagator::Event/12504649462013-09-25T22:45:33-07:002013-09-28T12:41:05-07:00ACM Tech Talk: Student Success in Finding a CareerFriday, November 1, 2013 from 4:30-5:30pm at PSU Maseeh Engineering Buildinghttp://calagator.org/events/12504649462013-11-01T16:30:00-07:002013-11-01T17:30:00-07:00<div class="vevent">
<h1 class="summary">ACM Tech Talk: Student Success in Finding a Career</h1>
<div class='date'><time class="dtstart dt-start" title="2013-11-01T16:30:00" datetime="2013-11-01T16:30:00">Friday, November 1, 2013 from 4:30</time>–<time class="dtend dt-end" title="2013-11-01T17:30:00" datetime="2013-11-01T17:30:00">5:30pm</time></div>
<div class="location vcard">
<a href='/venues/202392997' class='url'>
<span class='fn org'>PSU Maseeh Engineering Building</span>
</a>
<div class="adr">
<div class="street-address">1930 SW 4th Avenue</div>
<span class="locality">Portland</span>
, <span class="region">OR</span>
<span class="postal-code">97201</span>
<div class='country-name'>US<div>
(<a href='https://maps.google.com/maps?q=1930%20SW%204th%20Avenue,%20Portland%20OR%2097201%20US'>map</a>)
</div>
</div>
<div class="description">
<p>Ever wondered what makes a student successful in landing that career after university life ends?
Ever wanted to find that competitive edge that makes you stand out from the crowd?
If you answered yes to either of the above questions, this tech talk is for you.</p>
<p>Frank Goovaerts is the Interim Director of Student Success at Portland State University at MCECS, and will be giving a tech talk on how to get that extra edge and what services he offers to help students transition from college to career.</p>
</div>
<h3>Links</h3>
<ul>
<li><a class="url" href="http://www.acm.pdx.edu">Website</a></li>
</ul>
<div class="tags">
<h3>Tags</h3>
<p><a class="p-category" href="/events/tag/Career Planning">Career Planning</a>, <a class="p-category" href="/events/tag/MCECS">MCECS</a>, <a class="p-category" href="/events/tag/Student Success">Student Success</a>, <a class="p-category" href="/events/tag/Tech Talks">Tech Talks</a>, <a class="p-category" href="/events/tag/acm">acm</a>, <a class="p-category" href="/events/tag/computer science">computer science</a>, <a class="p-category" href="/events/tag/psu">psu</a></p>
</div>
<div class='single_view_right'>
<a href='http://calagator.org/events/1250464946.ics'>Download to iCal</a>
<div id='edit_link'>
<p>You can <a href="http://calagator.org/events/1250464946/edit">edit this event</a>.</p>
</div>
<div id='metadata'>
This item was added directly to Calagator <br /><strong>Wednesday, September 25, 2013 at 10:45pm</strong> and last updated <br /><strong>Saturday, September 28, 2013 at 12:41pm</strong>.
</div>
</div>
</div>
45.5093 -122.6816tag:calagator.org,2005:Calagator::Event/12504658662014-03-17T21:33:45-07:002014-03-17T21:33:45-07:00Bridging the Digital and Physical DivideFriday, March 21, 2014 from 6-9pm at PCC Cascade Campushttp://calagator.org/events/12504658662014-03-21T18:00:00-07:002014-03-21T21:00:00-07:00<div class="vevent">
<h1 class="summary">Bridging the Digital and Physical Divide</h1>
<div class='date'><time class="dtstart dt-start" title="2014-03-21T18:00:00" datetime="2014-03-21T18:00:00">Friday, March 21, 2014 from 6</time>–<time class="dtend dt-end" title="2014-03-21T21:00:00" datetime="2014-03-21T21:00:00">9pm</time></div>
<div class="location vcard">
<a href='/venues/202390051' class='url'>
<span class='fn org'>PCC Cascade Campus</span>
</a>
<div class="adr">
<div class="street-address">705 N. Killingsworth St.</div>
<span class="locality">Portland</span>
, <span class="region">OR</span>
<span class="postal-code">97217</span>
<div class='country-name'>US<div>
(<a href='https://maps.google.com/maps?q=705%20N.%20Killingsworth%20St.,%20Portland%20OR%2097217%20US'>map</a>)
</div>
</div>
<div class="description">
<p>Hear Portland’s own Second Story Studio, SapientNitro Matt Arnold and David Waingarten present their approach to creating narrative spaces and interactive digital art.</p>
</div>
<h3>Links</h3>
<ul>
<li><a class="url" href="http://wp.siggraph.org/cascade/en/2014/03/11/march-21-2014-event/">Website</a></li>
</ul>
<div class="tags">
<h3>Tags</h3>
<p><a class="p-category" href="/events/tag/David Waingarten">David Waingarten</a>, <a class="p-category" href="/events/tag/Matt Arnold">Matt Arnold</a>, <a class="p-category" href="/events/tag/acm">acm</a>, <a class="p-category" href="/events/tag/cascade">cascade</a>, <a class="p-category" href="/events/tag/cg">cg</a>, <a class="p-category" href="/events/tag/computer graphics">computer graphics</a>, <a class="p-category" href="/events/tag/digital art">digital art</a>, <a class="p-category" href="/events/tag/installations">installations</a>, <a class="p-category" href="/events/tag/interactivity">interactivity</a>, <a class="p-category" href="/events/tag/ixd">ixd</a>, <a class="p-category" href="/events/tag/pdx">pdx</a>, <a class="p-category" href="/events/tag/portland">portland</a>, <a class="p-category" href="/events/tag/siggraph">siggraph</a>, <a class="p-category" href="/events/tag/storytelling">storytelling</a></p>
</div>
<div class='single_view_right'>
<a href='http://calagator.org/events/1250465866.ics'>Download to iCal</a>
<div id='edit_link'>
<p>You can <a href="http://calagator.org/events/1250465866/edit">edit this event</a>.</p>
</div>
<div id='metadata'>
This item was added directly to Calagator <br /><strong>Monday, March 17, 2014 at 9:33pm</strong>.
</div>
</div>
</div>
45.5627 -122.674tag:calagator.org,2005:Calagator::Event/12504689132015-08-11T12:18:30-07:002015-08-11T12:18:30-07:00Random by Bart MasseyTuesday, August 11, 2015 from 6-8pm at Portland State University Fourth Avenue Building (FAB) Room FAB 88-10http://calagator.org/events/12504689132015-08-11T18:00:00-07:002015-08-11T20:00:00-07:00<div class="vevent">
<h1 class="summary">Random by Bart Massey</h1>
<div class='date'><time class="dtstart dt-start" title="2015-08-11T18:00:00" datetime="2015-08-11T18:00:00">Tuesday, August 11, 2015 from 6</time>–<time class="dtend dt-end" title="2015-08-11T20:00:00" datetime="2015-08-11T20:00:00">8pm</time></div>
<div class="location vcard">
<a href='/venues/202395030' class='url'>
<span class='fn org'>Portland State University Fourth Avenue Building (FAB) Room FAB 88-10</span>
</a>
<div class="adr">
</div>
</div>
<div class="description">
<p>Randomness is philosophically interesting and really important to
technologists. I will survey a bunch of random stuff, including:</p>
<p>Applications of randomness, including cryptography and game theory
(they’re related). A hypothetical Poker server will be a running
example.</p>
<p>Various definitions of “random”, including one good one and several
bad ones used by most software people.</p>
<p>Pseudo-random number generators (PRNGs). Hardware random number
generators, including entropy gatherers. I will show an open-hardware
open-source high speed true random number generator built by Bdale
Garbee and Keith Packard that I’ve been involved with, which will
provide 12Mb/s of random bits through a USB port for about $15.</p>
<p>Statistical tests of randomness and how various popular PRNGs fail.</p>
<p>Randomized algorithms, including my well-polished minitalk on The
Perfect Shuffle and a discussion of “Telephone Poker”.</p>
<p>Participants will write code for a couple of popular PRNGs and
evaluate their performance during the session.</p>
<p>If you want to understand randomness better (and you should), this is
the talk for you.</p>
</div>
<h3>Links</h3>
<ul>
<li><a class="url" href="http://acm.pdx.edu/event.php?event=63">Website</a></li>
</ul>
<div class="tags">
<h3>Tags</h3>
<p><a class="p-category" href="/events/tag/acm">acm</a></p>
</div>
<div class='single_view_right'>
<a href='http://calagator.org/events/1250468913.ics'>Download to iCal</a>
<div id='edit_link'>
<p>You can <a href="http://calagator.org/events/1250468913/edit">edit this event</a>.</p>
</div>
<div id='metadata'>
This item was added directly to Calagator <br /><strong>Tuesday, August 11, 2015 at 12:18pm</strong>.
</div>
</div>
</div>
tag:calagator.org,2005:Calagator::Event/12504694272015-11-22T23:52:01-08:002015-11-22T23:52:01-08:00[ACM Event] Pair Programming and Test-Driven Development WorkshopTuesday, November 24, 2015 from 7-9pm at Portland State University Fourth Avenue Building (FAB) Room FAB 40-07http://calagator.org/events/12504694272015-11-24T19:00:00-08:002015-11-24T21:00:00-08:00<div class="vevent">
<h1 class="summary">[ACM Event] Pair Programming and Test-Driven Development Workshop</h1>
<div class='date'><time class="dtstart dt-start" title="2015-11-24T19:00:00" datetime="2015-11-24T19:00:00">Tuesday, November 24, 2015 from 7</time>–<time class="dtend dt-end" title="2015-11-24T21:00:00" datetime="2015-11-24T21:00:00">9pm</time></div>
<div class="location vcard">
<a href='/venues/202395136' class='url'>
<span class='fn org'>Portland State University Fourth Avenue Building (FAB) Room FAB 40-07</span>
</a>
<div class="adr">
<div class="street-address">1930 Southwest 4th Avenue</div>
<span class="locality">Portland</span>
, <span class="region">OR</span>
<span class="postal-code">97201</span>
<div class='country-name'>US<div>
(<a href='https://maps.google.com/maps?q=1930%20Southwest%204th%20Avenue,%20Portland%20OR%2097201%20US'>map</a>)
</div>
</div>
<div class="description">
<p>Come practice Pair Programming and Test-Driven Development with us. Pair Programming is an Agile methodology in which two developers share a single workstation and work together to solve some problem. Test-Driven Development is a development process that relies on the repetition of a short development cycle driven by writing tests before any implementation code. Red, Green, Refactor.</p>
<p>Contact ACM:<br>
Website: <a href="http://www.acm.pdx.edu">www.acm.pdx.edu</a><br>
E-mail: <a href="mailto:acm_officers@cs.pdx.edu">acm_officers@cs.pdx.edu</a><br>
Facebook: <a href="http://www.facebook.com/pdxacm">www.facebook.com/pdxacm</a></p>
</div>
<h3>Links</h3>
<ul>
<li><a class="url" href="http://www.acm.pdx.edu">Website</a></li>
</ul>
<div class="tags">
<h3>Tags</h3>
<p><a class="p-category" href="/events/tag/PP">PP</a>, <a class="p-category" href="/events/tag/acm">acm</a>, <a class="p-category" href="/events/tag/agile">agile</a>, <a class="p-category" href="/events/tag/development">development</a>, <a class="p-category" href="/events/tag/driven">driven</a>, <a class="p-category" href="/events/tag/event">event</a>, <a class="p-category" href="/events/tag/methodology">methodology</a>, <a class="p-category" href="/events/tag/pair">pair</a>, <a class="p-category" href="/events/tag/portland state university">portland state university</a>, <a class="p-category" href="/events/tag/programming">programming</a>, <a class="p-category" href="/events/tag/tdd">tdd</a>, <a class="p-category" href="/events/tag/test">test</a>, <a class="p-category" href="/events/tag/workshop">workshop</a></p>
</div>
<div class='single_view_right'>
<a href='http://calagator.org/events/1250469427.ics'>Download to iCal</a>
<div id='edit_link'>
<p>You can <a href="http://calagator.org/events/1250469427/edit">edit this event</a>.</p>
</div>
<div id='metadata'>
This item was added directly to Calagator <br /><strong>Sunday, November 22, 2015 at 11:52pm</strong>.
</div>
</div>
</div>
45.509 -122.681