BEGIN:VCALENDAR VERSION:2.0 PRODID:IEEE vTools.Events//EN CALSCALE:GREGORIAN BEGIN:VTIMEZONE TZID:Australia/Brisbane BEGIN:STANDARD DTSTART:19920301T020000 TZOFFSETFROM:+1100 TZOFFSETTO:+1000 TZNAME:AEST END:STANDARD END:VTIMEZONE BEGIN:VEVENT DTSTAMP:20180503T000000Z UID:95FE82F7-D24A-47BC-A5C4-CE572E0FD0BD DTSTART;TZID=Australia/Brisbane:20180306T180100 DTEND;TZID=Australia/Brisbane:20180306T201500 DESCRIPTION:Welcome to our March event for 2018\n\nWE WILL BE GOING TO The German Club 416 Vulture St East Brisbane\n\nFor our March 1TJPC Ashley Gil lman from the CSIRO will be the reader leader. The paper he has selected f or us this month is\n\nSolving and Verifying the boolean Pythagorean Tripl es problem via Cube-and-Conquer\n\n[Marijn J. H. Heule](https://arxiv.org/ find/cs/1/au:+Heule_M/0/1/0/all/0/1)\, [Oliver Kullmann](https://arxiv.org /find/cs/1/au:+Kullmann_O/0/1/0/all/0/1)\, [Victor W. Marek](https://arxiv .org/find/cs/1/au:+Marek_V/0/1/0/all/0/1)\n\nIt can be found here\n\nhttps ://arxiv.org/abs/1605.00723\n\nand even comes with its own news release be low:\nhttps://www.nature.com/news/two-hundred-terabyte-maths-proof-is-larg est-ever-1.19990\n\nAshley tells me the paper is a little mathematics heav y with a small 200TB proof but don't worry he's just going to concentrate on the general concepts\n\nPlease note the venue\, we will be going to The Brisbane German Club as per the map/address below\n\nAbout the 1st Tuesda y Journal-Paper Club: We meet usually on the 1st Tuesday of the month as t he name suggests (inspired by the ABC TV series "1st Tuesday Book Club"). Each month\, from amongst ourselves we identify a Reader Leader. He or she picks a highly cited\, 'top ten' or major-prize-winning article\, prefera bly in an SPS or ComSoc journal. Through the month\, each of us reads the article. At the next meeting\, the Reader Leader leads a discussion of tha t article\, starting with his/her own appraisal. In so doing\, we all broa den our understanding of the field and further develop a sense of communit y.\n\n1st Rule of 1st Tuesday Journal-Paper Club: tell everyone about 1st Tuesday Journal-Paper Club.\n\nCo-sponsored by: Greg Hislop\n\nThe Brisban e German Club\, 416 Vulture St\, East Brisbane\, Queensland\, Australia\, 4169 LOCATION:The Brisbane German Club\, 416 Vulture St\, East Brisbane\, Queens land\, Australia\, 4169 ORGANIZER:gregory.hislop@gmail.com SEQUENCE:1 SUMMARY:1st Tuesday Journal-Paper Club URL;VALUE=URI:https://events.vtools.ieee.org/m/168586 X-ALT-DESC:Description: <br /><p>Welcome to our March event for 2018</p>\n< p>WE WILL BE GOING TO The German Club 416 Vulture St East Brisbane</p>\n<p >For our March 1TJPC&nbsp\; Ashley Gillman from the CSIRO will be the read er leader. &nbsp\;The paper he has selected for us this month is</p>\n<h1 class="title mathjax">Solving and Verifying the boolean Pythagorean Triple s problem via Cube-and-Conquer</h1>\n<div class="authors"><a href="https:/ /arxiv.org/find/cs/1/au:+Heule_M/0/1/0/all/0/1">Marijn J. H. Heule</a>\, < a href="https://arxiv.org/find/cs/1/au:+Kullmann_O/0/1/0/all/0/1">Oliver K ullmann</a>\, <a href="https://arxiv.org/find/cs/1/au:+Marek_V/0/1/0/all/0 /1">Victor W. Marek</a></div>\n<div class="authors">&nbsp\;</div>\n<div cl ass="authors">It can be found here</div>\n<p><a href="https://arxiv.org/ab s/1605.00723" target="_blank" rel="noopener noreferrer" data-saferedirectu rl="https://www.google.com/url?hl=en-GB&amp\;q=https://arxiv.org/abs/1605. 00723&amp\;source=gmail&amp\;ust=1519556717432000&amp\;usg=AFQjCNFCFNx2oLU gWWiS6DUxvsYm03HVJA">https://arxiv.org/abs/1605.007<wbr />23</a><br /> <br /> and even comes with its own news release below:<br /> <a href="https:/ /www.nature.com/news/two-hundred-terabyte-maths-proof-is-largest-ever-1.19 990" target="_blank" rel="noopener noreferrer" data-saferedirecturl="https ://www.google.com/url?hl=en-GB&amp\;q=https://www.nature.com/news/two-hund red-terabyte-maths-proof-is-largest-ever-1.19990&amp\;source=gmail&amp\;us t=1519556717432000&amp\;usg=AFQjCNFv_DKfCGoVrrNY0n5EblP_xguW0Q">https://ww w.nature.com/news/tw<wbr />o-hundred-terabyte-maths-proof<wbr />-is-larges t-ever-1.19990</a></p>\n<p>Ashley tells me the paper is a little mathemati cs heavy with a small 200TB proof but don't worry he's just going to conce ntrate on the general concepts</p>\n<p>&nbsp\;</p>\n<p>Please note the ven ue\, we will be going to The Brisbane German Club as per the map/address b elow&nbsp\;</p>\n<p><strong>About the 1st Tuesday Journal-Paper Club:</str ong>&nbsp\;We meet usually on the 1st Tuesday of the month as the name sug gests (inspired by the ABC TV series "1st Tuesday Book Club"). Each month\ , from amongst ourselves we identify a Reader Leader. &nbsp\;He or she&nbs p\;picks a highly cited\, 'top ten' or major-prize-winning article\, prefe rably in an SPS or ComSoc journal.&nbsp\;Through the month\, each of us&nb sp\;reads the article. At the next meeting\, the Reader&nbsp\;Leader leads a discussion of that article\, starting with his/her own appraisal. In so doing\, we all broaden our understanding of the field and further develop a sense of community.</p>\n<p><strong>1st Rule of 1st Tuesday Journal-Pap er Club:</strong>&nbsp\;tell everyone about 1st Tuesday Journal-Paper Club .</p>\n<p>&nbsp\;</p>\n<p>&nbsp\;</p>\n<p>&nbsp\;</p> END:VEVENT END:VCALENDAR