A: Computer Algebra Aspects of Finite Rings and Their Applications
B: Computer Algebra in Coding Theory and Cryptography
C: Computational Differential and Difference Algebra
D: AADIOS: Algebraic and Algorithmic Aspects of Differential and Integral Operators
E: Integration: Implementation and Applications
F: Computer Algebra in Education
G: Algorithms and Applications in the Geometry of Algebraic Curves and Surfaces
H: Innovative Applications and Emerging Challenges
I: Arithmetic Geometry
J: Group Actions in Algebra and Geometry
L: Gröbner Bases and Applications
Tuesday July 8 

18:30  21:30 
Informal gathering at residence halls or JMH 


Wednesday July 9 

08:00  09:00 
REGISTRATION 

09:00  09:30 
OPENING 

09:30  10:30 
PLENARY TALK 

10:30  11:00 
COFFEE BREAK 


H, Room 140 
G, Room 138 
B, Room 112 

11:00  11:30 
M. Helmer, "Algorithms to Compute ChernSchwartzMacpherson and Segre Classes and the Euler Characteristic" 
N. Lubbes, "Circles on surfaces” 
M.G. Sarabia "An overview on algebraic invariants and the main parameters of some parametrized codes" 

11:30  12:00 
E. A. Coutsias, "Bricard flexible octahedra and the canonical cyclohexane" 
M. Weimann, "Computing gonal maps of algebraic curves” 
R. Pellikaan "The extended and generalized rank weight enumerator of a code" 

12:00  12:30 
M. Minimair, "Collaborative Computer Algebra Systems" 
Y. Bouzidi, "Computing separating linear forms for bivariate systems" 
I. Marquez "Error correcting pair: a new approach to Codebased Cryptography" 

12:30  14:00 
LUNCH 

H, Room 140 
G, Room 138 
B, Room 112 
D, Room 132 
14:00  14:30 
J. Tot, "Spinning Double Pendulum: Equilibria and Bifurcations" 
M. Fioravanti, "Computing the topology of an arrangement of parametric or implicit curves in the Lagrange basis" 
A.L. Sandoval "On the Eficiency of Shortened Cyclic MultipleBurstCorrecting Codes" 
D. Dali “Local Stability of Cubic Differential Systems” 
14:30  15:00 
R. Lewis, B. Palancz, J. L. Awange, "Computer Algebra Solution of Maximization of Likelihood for Laser Scanning" 
M. Moreno Maza, "Doing algebraic geometric with the RegularChains library” 
D. Joyner ”Edgeweighted Cayley graphs and pary bent functions” 
William Sit “RotaBaxter type operators, rewriting systems and GroebnerShirshov bases” 
15:00  15:30 
J. Caravantes, "A bisectionlike algorithm to compute the convex hull of a rational plane curve” 
I. Marquez "BoF Meeting on SAGE and Coding Theory" 
A. Heinle “On Factoring Differential and Difference Operators in n Variables” 

15:30  16:00 
S. L. Rueda, "Approximate algorithms to parametrize algebraic curves” 
I. Marquez "BoF Meeting on SAGE and Coding Theory" 


16:00  16:30 
COFFEE BREAK 

16:30  ???? 
Excursions 
Thursday July 10 

08:00  08:30 
REGISTRATION 


D, Room 140 
G, Room 138 
B, Room 112 
8:30  9:00 
W. Keigher “Linear Differential Equations and Hurwitz Series” 
C. D'Andrea, "The rees algebra of some monomial parametrizations" 
N. Dück "The degree compatible Gröbner Fan for Linear Codes" 
9:00  9:30 
G. Labahn “Rational Invariants of Finite Abelian Groups” 
T. Shaska, "Genus 3 hyperelliptic curves with (2,4,4)split Jacobians" 
M. Aliasgari "Binomial Ideal Associated to a Lattice and Its Label Code" 
9:30  10:00 
S. Launois “Endomorphisms of quantum generalized Weyl algebras” 
L. Beshaj, "On Jacobians of curves with superelliptic components" 
M. Aliasgari "A JohnsonType Bound for Group Codes and Lattices" 
10:00  10:30 
A. Levin “Method of generalized characteristic sets and multivariate dimension polynomials of differential field extensions...” 
J.G. Alcázar, "Symmetry detection of rational space curves" 
E. Previato "Evaluation Codes and Weierstrass Semigroups " 
10:30  11:00 
COFFEE BREAK 


D, Room 140 
C, Room 112 
F, Room 138 
11:00  11:30 
E. Previato “Differential algebraic aspect of orthogonal polynomials and modular forms” 
Markus LangeHegermann "Counting Solutions of Differential Equations" 
Elena Varbanova "CAS in the Context of Methodology of Mathematics Education" 
11:30  12:00 
S. Maddah “On the Formal Reduction of SingularlyPerturbed Linear Differential Systems” 
Meng Zhou "On the termination of algorithm for computing relative Gröbner bases and differencedifferential dimension polynomials" 
Michel Beaudin "Same Courses, New Questions" 
12:00  12:30 
L. Poinsot “Differential (Lie) algebras from a functorial point of view” 
Gabriela Jeronimo "Effective differential Lüroth theorem" 
Agustin de la Villa "Using technology in mathematical courses: Some possibilities" 
12:30  14:00 
LUNCH 


D, Room 140 
L, Room 132 
A, Room 138 
14:00  14:30 
M. Ragulskis “The generalized multiplicative operator of differentiation for the construction of analytic solitary solutions...” 
C. Eder "A survey on signaturebased Gröbner basis computations" 
A. Cherchem "Exponents of Skew Polynomials" 
14:30  15:00 
S. Rueda “Differential elimination by differential specialization of Sylvester style matrices” 
J. Perry "The skeletons you find when you Order your Ideal’s Closet" 
I. Ciocanea Teodorescu "The Module Isomorphism Problem for Finite Rings and Related Results" 
15:00  15:30 
S.K. Suslov “Multiparameter Laser Modes in Paraxial Optics” 
J.C. Faugere "Sparse Groebner Bases: algorithms and complexity" 
K. Guenda "Construction of codes for DNA computing by the Greedy Algorithm" 
15:30  16:00 
X. Zhao “GelfandKirillov dimension of differential difference algebras” 
Ambedkar Dukkipati, "On Groebner bases over rings and residue class polynomial rings with torsion" 
E. Martinez "Multivariable Codes in Principal Ideal Polynomial Quotient Rings" 
16:00  16:30 
COFFEE BREAK 

16:30  ???? 
Excursions 
Friday July 11 

8:00  08:30 
REGISTRATION 


J, Room 140 
C, Room 112 
B, Room 138 
F, Room 132 
8:30  9:00 
Tyler Kelly "An algorithm for computing Picard ranks of certain K3 surfaces" 
Lourdes Juan "On the integration of algebraic functions: computing the logarithmic part" 
J. Gutierrez "HIMMO: A collusionresistant identitybased scheme for symmetric key generation" 
Patrice Geary Tiffany "Effectively Melding Computer Algebra Systems into the Calculus Curriculum" 
9:00  9:30 
Federico Galetto "An algorithm for determining actions of semisimple Lie groups on free resolutions" 
XiaoShan Gao "Binomial Difference Ideal and Toric Difference Variety" 
Bakshi, Deeksha "On a class of difference set pairs" 
Rosemary Carroll Farley "Student Undergraduate Research Projects in Linear Algebra Using a CAS" 
9:30  10:00 
Chris Manon. Title to be announced 
Annette Maier "Parameterized Differential Equations and Patching" 
K.T. Arasu "Difference Set Pairs : A Recursive Approach via group rings" 
Andrew Toon "Investing Complex Data and Dynamics via Computer Algebra" 
10:00  10:30 
Jennifer Paulhus "Decomposing Jacobian varieties" 
Julien Roques "Galois groups of difference equations on elliptic curves" 
K. Guenda "McEliece Cryptosystem Based on Punctured Convolutional Codes and the PseudoRandom Generators" 
Michael Xue "Prove Inequalities by Solving Maximum/Minimum Problems Using a Computer Algebra System" 
10:30  11:00 
COFFEE BREAK 


J, Room 140 
C, Room 112 
A, Room 138 
E, Room 132 
11:00  11:30 
David Jensen "BrillNoether Theory for Metric Graphs" 
Moulay Barkatou "A direct algorithm for computing ksimple forms of firstorder linear differential systems" 
K. Bagheri "A New NonAssociative Cryptosystem Based on NTOW Public Key Cryptosystem and Octonions Algebra" 
David Jeffrey "Rubi and Integration as term rewriting: Integrals containing tangent" 
11:30  12:00 
Amy Ksir "Automorphisms of tropical curves and Berkovich analytic curves and their skeletons" 
Suzy Maddah "Formal Solutions of Completely Integrable Pfaffian Systems with Normal Crossings" 
F. Manganiello "Network Coding via Skew Polynomials" 
Daniel Lichtblau "The Hazards of Symbolic Definite Integration (a Continuing Saga)" 
12:00  12:30 
I 
Sergey Paramonov "Undecidability of the uniqueness testing problem for analytic solutions of PLDE... " 
N. Aydin "Computer Algebra Challenges for Constructing Skew Cyclic Codes" 
Clemens Raab "Rewrite rules for nested integrals" 
12:30  14:00 
LUNCH 


I, Room 140 
C, Room 112 
B, Room 138 
E, Room 132 
14:00  14:30 
L. Beshaj, "Heights on algebraic curves", part II 
Francois Lemaire "New development and application of integration of differential fractions" 
M. Durcheva "Some applications of idempotent semirings in Public Key Cryptography" 
Michel Beaudin "Piecewise Functions and Convolution Integrals" (Part I) [1 hour] 
14:30  15:00 
T. Shaska, "Minimal models for superelliptic curves over their minimal field of definition", part I 
Maximilian Jaroschek "Radicals of Ore polynomials" 
G.V. Bard "Plaintext Recovery for OneTime Pads Used Twice" 
Michel Beaudin "Piecewise Functions and Convolution Integrals" (Part II) 
15:00  15:30 

George Labahn "Dynamical Systems and Scaling Invariants" 
Phillips, Robinson "Some new almost difference sets via finite fields" 
Gilbert Labelle "Combinatorial integration" (Part I) [1 hour] 
15:30  16:00 
Barry Trager, Good Reduction of Plane Curves 
Irina Kogan "Differential algebra of invariants and invariant variational calculus" 
J. Hufford "Some results on finite fields" 
Gilbert Labelle "Combinatorial integration" (Part II) 
16:00  17:30 
COFFEE BREAK AND SOFTWARE DEMOS 

17:30  18:20 
ACA Business Meeting 

18:45  ???? 
Banquet 
Saturday July 12 

8:30  9:00 
L, Room 140 
C, Room 112 
A, Room 138 

8:30  9:00 
G. Adj "Computing Discrete Logarithms using Joux's Algorithm" 
Florian Heiderich "Towards a noncommutative PicardVessiot theory" 
S. Szabo "Linear Codes over Z4[x]/(x^22x). Dual Preserving Maps and Images as Codes over Z4" 

9:00  9:30 
L. Perret, "Algebraic Algorithms for Learning with Errors Problems (LWE)" 
Carlos Arreche "Computing differential Galois groups of parameterized secondorder linear differential equations" 
S. Dougherty "Codes Over Rings of Order 16" 

9:30  10:00 
M. Tamayo "Algebraic cryptosystems and vulnerability to Groebner basis attacks" 
Alexander Levin "Generalized Gröbner bases and dimension polynomials of modules over some finitely generated noncommutative algebras" 
E. Salturk "Codes over local rings of order 16 and their Gray maps" 

10:00  10:30 
Sun, Lin, Wang "On Implementing Signaturebased Grobner Basis Algorithms Using Linear Algebraic Routines from M4RI" 
Michael Wibmer "A JordanHölder theorem for difference algebraic groups" 


10:30  11:00 
COFFEE BREAK 


I, Room 140 
C, Room 112 
B, Room 138 

11:00  11:30 
A. Elezi, "Quantum computing, error correcting quantum codes and algebraic curves" 
James Freitag "Bounding the size of a finite differential algebraic variety" 
D.H. Bueno "A notion of multivariate BCH bounds and codes" 

11:30  12:00 
C. Shor, "qWeierstrass point of hyperelliptic curves" 
Omar Leon Sanchez "Parametrized logarithmic equations and their Galois theory" 
K. Guenda "Extending Construction X for Quantum ErrorCorrecting Codes" 

12:00  12:30 
J. Gutierrez, "Recovering zeroes of hyperelliptic curves over finite fields" 
Alice Medvedev "Dimensions of differencealgebraic groups" 

12:30  13:00 
Closing Ceremony 

